Zheng, S., and R. Schmidt. “Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 34, no. 03, Apr. 2020, pp. 3080-7, doi:10.1609/aaai.v34i03.5703.