Classen, J.; Liebenberg, M.; Lakemeyer, G.; Zarriess, B. Exploring the Boundaries of Decidable Verification of Non-Terminating Golog Programs. AAAI 2014, 28.