Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution. - Sen Zheng 001; Renate A. Schmidt (AAAI, 2020)

Querying the Guarded Fragment via Resolution (Extended Abstract). - Sen Zheng 001; Renate A. Schmidt (PAAR+SC²@IJCAR, 2020)

Querying Guarded Fragments via Resolution. - Sen Zheng 001; Renate A. Schmidt (CoRR, 2020)

Saturation-Based Boolean Conjunctive Query Answering and Rewriting for the Guarded Quantification Fragments. - Sen Zheng 001; Renate A. Schmidt (J. Autom. Reason., 2023)