Querying the Guarded Fragment via Resolution (Extended Abstract).

Sen Zheng, Renate A. Schmidt

Browse the full CADE paper archive.