Games and Model Checking for Guarded Logics.

Dietmar Berwanger, Erich Grdel

Browse the full LPAR paper archive.