Classification in the KL-ONE knowledge representation system (1983)

by James G Schmolze, Thomas A Lipkis
Venue:In Proc. of the 8th Int. Joint Conf. on Artificial Intelligence (IJCAI’83