Boontawee Suntisrivaraporn Guilin Qi Qiu Ji Peter Haase A Modularization-Based Approach to Finding All Justifications for OWL DL Entailments. 1-15 2008 ASWC http://dx.doi.org/10.1007/978-3-540-89704-0_1 conf/aswc/2008 db/conf/aswc/aswc2008.html#SuntisrivarapornQJH08