Subsumption algorithms for concept description languages (1990)

by B Hollunder, W Nutt, M Schmidt-Schauß
Venue:London (United Kingdom