D. B. Lenat and R. V. Guha, Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project.

Douglas R. Skuce D. B. Lenat and R. V. Guha, Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project. 81-94 1993 61 Artif. Intell. 1 db/journals/ai/ai61.html#Skuce93