Del-Pinto, Warren, and Renate A. Schmidt. 2019. “ABox Abduction via Forgetting in ALC”. Proceedings of the AAAI Conference on Artificial Intelligence 33 (01):2768-75. https://doi.org/10.1609/aaai.v33i01.33012768.