Zheng, Sen, and Renate Schmidt. 2020. “Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution”. Proceedings of the AAAI Conference on Artificial Intelligence 34 (03):3080-87. https://doi.org/10.1609/aaai.v34i03.5703.