Games and model checking for guarded logics (2001)

by D Berwanger, E Grädel
Venue:In Logic for Programming, Artificial Intelligence, and Reasoning 8th International Conference, LPAR 2001 Havana