Yun P, Reggia JA.  1990.  Abductive Inference Models for Diagnostic Problem-Solving.