["An Overview of the KL-ONE Knowledge Representation System",

R.J. Brachman and J. Schmolze, Cognitive Sci 9(2), 1985].