Fang, Liangda, Xiaoman Wang, Zhang Chen, Kailun Luo, Zhenhe Cui, and Quanlong Guan. “A Syntactic Approach to Computing Complete and Sound Abstraction in the Situation Calculus”. Proceedings of the AAAI Conference on Artificial Intelligence 39, no. 14 (April 11, 2025): 14911–14921. Accessed May 28, 2026. https://ojs.aaai.org/index.php/AAAI/article/view/33635.