Gerhard Lakemeyer: Decidable Verification of Golog Programs: Situation Calculus Meets Description Logic. Description Logics 2019