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), pp. 3080-3087. doi: 10.1609/aaai.v34i03.5703.