Du, J. (2011) “Towards Practical ABox Abduction in Large OWL DL Ontologies”, Proceedings of the AAAI Conference on Artificial Intelligence, 25(1), pp. 1160–1165. doi: 10.1609/aaai.v25i1.8070.