Schmolze J. G. and Lipkis, T. A. "Classification in the KL-ONE knowledge representation system"

[Proceedings] (1983) ICJCAI 83: Proceedings of the Eighth International Joint Conference on Artificial Intelligence, Alan Bundy, editor, Karlsruhe, Germany, August 1983  

Languages mentioned KL-ONE {1977}