J. Classen, M. Liebenberg, G. Lakemeyer, and B. Zarriess, “Exploring the Boundaries of Decidable Verification of Non-Terminating Golog Programs”, AAAI, vol. 28, no. 1, Jun. 2014.