TY  - RPRT
TI  - Lutz's Spoiler Technique Revisited: A Unified Approach to Worst-Case Optimal Entailment of Unions of Conjunctive Queries in Locally-Forward Description Logics
AU  - Bartosz Bednarczyk
PY  - 2021
UR  - https://arxiv.org/abs/2108.05680
ID  - 2108.05680
ER  -