Lutz, C. and Przybyłko, M. (2023) “Efficient Answer Enumeration in Description Logics with Functional Roles”, Proceedings of the AAAI Conference on Artificial Intelligence, 37(5), pp. 6483-6490. doi: 10.1609/aaai.v37i5.25797.