Du, J., Qi, G., Shen, Y.-D. and Pan, 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.