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 [Internet]. 2025 Apr. 11 [cited 2026 May 28];39(14):14911-2. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/33635