Building Large Knowledge-Based Systems; Representation and Inference (1989)

by D B Lenat, R V Guha
Venue:in the Cyc Project. Addison-Wesley Longman Publishing Co., Inc