L. Fang, X. Wang, Z. Chen, K. Luo, Z. Cui, and Q. Guan, “A Syntactic Approach to Computing Complete and Sound Abstraction in the Situation Calculus”, AAAI, vol. 39, no. 14, pp. 14911–14921, Apr. 2025.