Lee, J.; Palla, R. Situation Calculus As Answer Set Programming. AAAI 2010, 24, 309-314.