V. Belle and G. Lakemeyer, “Reasoning about Imperfect Information Games in the Epistemic Situation Calculus”, AAAI, vol. 24, no. 1, pp. 255–260, Jul. 2010.