Sochański, M., Wałęga, P. A. and 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), pp. 19371–19379. doi: 10.1609/aaai.v40i23.39014.