J. Lee and R. Palla, “Situation Calculus as Answer Set Programming”, AAAI, vol. 24, no. 1, pp. 309–314, Jul. 2010.