@Article{ZS23,
Author = "Zheng, S. and Schmitt, R.",
Year = "2023",
Title = "{Saturation-Based Boolean Conjunctive Query Answering and Rewriting for the
Guarded Quantification Fragments}",
Journal = "Journal of Automated Reasoning",
Volume = "67",
Number = "39",
DOI = "{https://doi.org/10.1007/s10817-023-09687-x}",
Comment = ""
}