Querying the guarded fragment. (2010)

by V Barany, G Gottlob, M Otto
Venue:In LICS,