C. Lutz and M. Przybyłko, “Efficient Answer Enumeration in Description Logics with Functional Roles”, AAAI, vol. 37, no. 5, pp. 6483-6490, Jun. 2023.