An overview of the KL-ONE knowledge representation system (1985)

by R J Brachman, J G Schmolze
Venue:Cognitive Science