Subsumption Algorithms for Concept Languages

Cite this paper

@inproceedings{Hollunder1990SubsumptionAF, title={Subsumption Algorithms for Concept Languages}, author={Bernhard Hollunder and Werner Nutt}, year={1990} }