S. Zheng and R. Schmidt, “Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution”, AAAI, vol. 34, no. 03, pp. 3080-3087, Apr. 2020.