Building problem solvers /
Forbus, Kenneth D.
De Kleer, Johan.
Cambridge, Mass ; London : Bradford Books,
c1993.