@misc{indiciae214a35c145ad,
  title = {Description Logics with Two Types of Definite Descriptions: Complexity, Expressiveness, and Automated Deduction},
  author = {Michał Sochański and Przemysław Andrzej Wałęga and Michał Zawidzki},
  year = {2025},
  url = {https://arxiv.org/abs/2512.06604},
  note = {Source identifier: 2512.06604}
}