On the Decision Problem for the Guarded Fragment with Transitivity.

Wieslaw Szwast, Lidia Tendera

Browse the full LICS paper archive.