Ponomaryov, D., and M. Soutchanski. “Progression of Decomposed Situation Calculus Theories”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 27, no. 1, June 2013, pp. 810-7, doi:10.1609/aaai.v27i1.8612.