Unification in a description logic with transitive closure of roles (2001)

by F Baader, R Küsters
Venue:In Proc. LPAR’01, Springer LNAI 2250