Jens Claßen, Gerhard Lakemeyer: On the Verification of Very Expressive Temporal Properties of Non-terminating Golog Programs. ECAI 2010: 887-892