Fang, L.; Wang, X.; Chen, Z.; Luo, K.; Cui, Z.; Guan, Q. A Syntactic Approach to Computing Complete and Sound Abstraction in the Situation Calculus. AAAI 2025, 39, 14911-14921.