Zheng, S., & 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), 3080-3087. https://doi.org/10.1609/aaai.v34i03.5703