Unification of concept terms in description logic (0)

by F Baader, P Narendran
Venue:Journal of Symbolic Computation