Zheng, S. and Schmidt, R. 2020. Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution. Proceedings of the AAAI Conference on Artificial Intelligence. 34, 03 (Apr. 2020), 3080-3087. DOI:https://doi.org/10.1609/aaai.v34i03.5703.