Building problem solvers by Forbus, Kenneth D., De Kleer, Johan fromSymbolic computation 0 Type: Book