Building Large Knowledge-based Systems - Lenat, DB; Gutha, RV (Reading, Addison Wesley, 1990)