Q. Feng and G. Lakemeyer, “Decidable Multi-agent Epistemic Planning: A Situation Calculus Approach”, AAAI, vol. 40, no. 23, pp. 19064–19072, Mar. 2026.