Building Problem Solvers door Johan De Kleer & Kenneth D. Forbus