Lenat, D.; Guha, R. V. CYC: A Midterm Report. AIMag 1990, 11, 32.