Deduction in Concept Languages: from Subsumption to Instance Checking
- 1 August 1994
- journal article
- research article
- Published by Oxford University Press (OUP) in Journal of Logic and Computation
- Vol. 4 (4), 423-452
- https://doi.org/10.1093/logcom/4.4.423