Classification in the KL-ONE Knowledge Representation System, (1983)

by James G Schmolze, Thomas A Lipkis
Venue:Proc 8th Int’l Joint Conf. on A.I.,