W. Del-Pinto and R. A. Schmidt, “ABox Abduction via Forgetting in ALC”, AAAI, vol. 33, no. 01, pp. 2768-2775, Jul. 2019.