Sochański, M., Wałęga, P. A., & Zawidzki, M. (2026). Description Logics with Two Types of Definite Descriptions: Complexity, Expressiveness, and Automated Deduction. Proceedings of the AAAI Conference on Artificial Intelligence, 40(23), 19371–19379. https://doi.org/10.1609/aaai.v40i23.39014