Forbus, K. D. Building problem solvers - Massachusetts MIT Press 1993 - xiv, 702p. - Artificial intelligence . ISBN: 0-262-06157-0