Computing least common subsumers in description logics with existential restrictions (1999)

by F Baader, R Küsters, R Molitor
Venue:Proc. of the 16th Int. Joint Conf. on Artificial Intelligence (IJCAI-99