@misc{indiciae8443cd9de880,
  title = {Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies (Technical Report)},
  author = {Christian Alrabbaa and Stefan Borgwardt and Patrick Koopmann and Alisa Kovtunova},
  year = {2022},
  url = {https://arxiv.org/abs/2206.09758},
  note = {Source identifier: 2206.09758}
}