Classification in the KL-ONE Knowledge Representation System. - James G. Schmolze; Thomas A. Lipkis 002 (IJCAI, 1983)