Games and model checking for guarded logics (2001)

by Dietmar Berwanger, Erich Grädel
Venue:In Logic for Programming, Artificial Intelligence, and Reasoning (LPAR