Games and model checking for guarded logics (2001)

by D Berwanger, E Grädel
Venue:In Intl. Conf. on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR