A.: Computing the Least Common Subsumer w.r.t. a Background Terminology (2004)

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