On Finite Satisfiability of the Guarded Fragment with Equivalence or Transitive Guards.

Emanuel Kieronski, Lidia Tendera

Browse the full LPAR paper archive.