Building Problem Solvers Listings by Johan De Kleer & Kenneth D. Forbus