Computing the least common subsumer w.r.t. a background terminology (0)

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