C. Muise, “Planning Over Multi-Agent Epistemic States: A Classical Planning Approach”, AAAI, vol. 29, no. 1, Mar. 2015.