Carsten Lutz, Frank Wolter. Deciding inseparability and conservative extensions in the description logic EL. Journal of Symbolic Computation, 45(2):194-228, 2010. [doi]
No references recorded for this publication.
No citations of this publication recorded.