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

by F Baader, R Küsters
Venue:Logic for Programming, Artificial Intelligence, and Reasoning (LPAR’01, Havana