Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution.

Sen Zheng, Renate A. Schmidt

Browse the full AAAI paper archive.