P.: Unification of concept terms in description logics (0)

by F Baader, Narendran
Venue:J. of Symbolic Computation