12 On Generality and Problem Solving: A Case Study Using the DENDRAL Program E. A. Feigenbaum, B. G. Buchanan and J. Lederberg