TY - JOUR T1 - DS Nau, and PY Wang. A formal model of diagnostic inference JF - Information Sciences Y1 - 1985 A1 - Reggia, James A. VL - 37 ER -