Least common subsumer computation w.r.t. cyclic ALNterminologies (0)

by F Baader, R Kusters
Venue:In Proc. Int. Workshop on Description Logics (DL'98