Cyc: towards programs with common sense - Lenat, D; Guha, RV (Comm ACM, 1990)
et al.