The Two-Variable Guarded Fragment with Transitive Relations.

Harald Ganzinger, Christoph Meyer, Margus Veanes

Browse the full LICS paper archive.