TY  - RPRT
TI  - Efficient Answer Enumeration in Description Logics with Functional Roles -- Extended Version
AU  - Carsten Lutz
AU  - Marcin Przybylko
PY  - 2022
UR  - https://arxiv.org/abs/2211.15248
ID  - 2211.15248
ER  -