Building problem solvers / - Forbus, Kenneth D. (MIT Press,, 1993)