Aditya Kalyanpur Bijan Parsia Matthew Horridge Evren Sirin Finding All Justifications of OWL DL Entailments. 267-280 2007 conf/semweb/2007 ISWC/ASWC http://dx.doi.org/10.1007/978-3-540-76298-0_20 db/conf/semweb/iswc2007.html#KalyanpurPHS07