Querying the Guarded Fragment with Transitivity.

Georg Gottlob, Andreas Pieris, Lidia Tendera

Browse the full ICALP paper archive.