Deciding inseparability and conservative extensions in the description logic EL (2010)

by Carsten Lutz, Frank Wolter
Venue:Journal of Symbolic Computation