Franz Baader, Patrick Koopmann, Francesco Kriegel, and Adrian Nuradiansyah. Computing Optimal Repairs of Quantified ABoxes w.r.t. Static $EL$ TBoxes. Automated Deduction -- CADE 28, 309--326, Springer International Publishing, Cham, 2021.