Automatic Verification of Golog Programs via Predicate Abstraction. - Peiming Mo; Naiqi Li; Yongmei Liu 001 (ECAI, 2016)