Fundamentals of Model-Based
Diagnosis
Johan de Kleer
James Kurien
Safe Process 6/11/2003
