Subsumption algorithms for concept description languages (1990)

by Bernhard Hollunder, Werner Nutt, Manfred Schmidt-Schauß
Venue:In Proceedings of ECAI-90, 9th European Conference on Artificial Intelligence