Preliminary steps toward a taxonomy of problem-solving methods

McDermott, John

Classics 

In Marcus, S., (Ed.), Automating Knowledge Acquisition for Knowledge Based Systems, chapter 8, pages 120-146. Boston: Kluwer Academic Publishers