F. Wei-Kleiner, Z. Dragisic, and P. Lambrix, “Abduction Framework for Repairing Incomplete EL Ontologies: Complexity Results and Algorithms”, AAAI, vol. 28, no. 1, Jun. 2014.