@misc{indiciaeb2734d84c5bd,
  title = {Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Technical Report)},
  author = {Christian Alrabbaa and Franz Baader and Stefan Borgwardt and Patrick Koopmann and Alisa Kovtunova},
  year = {2022},
  url = {https://arxiv.org/abs/2104.13138},
  note = {Source identifier: 2104.13138}
}