Unification in a description logic with transitive closure of roles, in: R. Nieuwenhuis, A. Voronkov (Eds (2001)

by F Baader, R Küsters
Venue:Proc. of the 8th Int.Conf. on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2001), in: Lecture Notes in Comput. Sci