Belle, V.; Lakemeyer, G. Reasoning about Imperfect Information Games in the Epistemic Situation Calculus. AAAI 2010, 24, 255-260.