Feng, Q.; Lakemeyer, G. Decidable Multi-Agent Epistemic Planning: A Situation Calculus Approach. AAAI 2026, 40, 19064-19072.