Cyc: toward programs with common sense
Assessing the maintainability of XCON-in-RIME: coping with the problems of a VERY large rule-base