@misc{indiciae35fc26b33c14,
  title = {Finding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report)},
  author = {Christian Alrabbaa and Franz Baader and Stefan Borgwardt and Patrick Koopmann and Alisa Kovtunova},
  year = {2020},
  doi = {10.29007/nhpp},
  url = {https://arxiv.org/abs/2004.08311},
  note = {Source identifier: 2004.08311}
}