M. Sochański, P. A. Wałęga, and M. Zawidzki, “Description Logics with Two Types of Definite Descriptions: Complexity, Expressiveness, and Automated Deduction”, AAAI, vol. 40, no. 23, pp. 19371–19379, Mar. 2026.