Abductive Inference Models For Diagnostic Problem-Solving by Yun Peng & James A. Reggia