TY  - RPRT
TI  - Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution
AU  - Sen Zheng
AU  - Renate A. Schmidt
PY  - 2020
UR  - https://arxiv.org/abs/2001.03829
ID  - 2001.03829
ER  -