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

by F Baader, R Küsters
Venue:Proc. of LPAR 2001, volume 2250 of LNCS