On the Finite Satisfiability Problem for the Guarded Fragment with Transitivity.

Wieslaw Szwast, Lidia Tendera

Browse the full LPAR paper archive.