Yagi, Y.; Nakamura, T.; Mizutani, K. Toward a Semantic Theory of Universal NCIs. Proceedings of the AC 2024, 408-414.