Boris Konev Dirk Walther Frank Wolter The Logical Difference Problem for Description Logic Terminologies. 259-274 2008 IJCAR http://dx.doi.org/10.1007/978-3-540-71070-7_21 conf/cade/2008 db/conf/cade/ijcar2008.html#KonevWW08