Building Large Knowledge-Based Systems: Representation and Inference ...
Douglas B. Lenat & R. V. Guha