Classen, J., M. Liebenberg, G. Lakemeyer, and B. Zarriess. “Exploring the Boundaries of Decidable Verification of Non-Terminating Golog Programs”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 28, no. 1, June 2014, doi:10.1609/aaai.v28i1.8875.