Boris Konev Carsten Lutz Dirk Walther Frank Wolter Logical Difference and Module Extraction with CEX and MEX. 2008 Description Logics http://ceur-ws.org/Vol-353/KonevLutzWaltherWolter conf/dlog/2008 db/conf/dlog/dlog2008.html#KonevLWW08