A.Y.: Computing the least common subsumer w.r.t. a background terminology (2007)

by F Baader, B Sertkaya, Turhan
Venue:Journal of Applied Logic