Building problem solvers - Forbus, Kenneth D. (A Bradford Book, 1993)