@misc{indiciae5932a1255bd9,
  title = {Combining Proofs for Description Logic and Concrete Domain Reasoning (Technical Report)},
  author = {Christian Alrabbaa and Franz Baader and Stefan Borgwardt and Patrick Koopmann and Alisa Kovtunova},
  year = {2023},
  url = {https://arxiv.org/abs/2308.03705},
  note = {Source identifier: 2308.03705}
}