Zheng, S.; Schmidt, R. Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution. AAAI 2020, 34, 3080-3087.