Lutz, C.; Przybyłko, M. Efficient Answer Enumeration in Description Logics With Functional Roles. AAAI 2023, 37, 6483-6490.