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