Querying the Guarded Fragment.

Vince Brny, Georg Gottlob, Martin Otto

Browse the full LICS paper archive.