A. C. Nicolae, Y. Sudo, and M. Yang, “On the anti-exhaustive inference of ya”, Proceedings of the AC, pp. 284–290, Dec. 2024, doi: 10.53437/s2q1md12.