An overview of the KL-ONE knowledge 171-216. representation system. Cognitive Science 9. z (1985)

by R J Brachman, J G Schmolze