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

Emanuel Kieronski Lidia Tendera On Finite Satisfiability of the Guarded Fragment with Equivalence or Transitive Guards. 318-332 2007 conf/lpar/2007 LPAR http://dx.doi.org/10.1007/978-3-540-75560-9_24 db/conf/lpar/lpar2007.html#KieronskiT07