@article {16612, title = {A formal model of diagnostic inference, II. Algorithmic solution and application}, journal = {Information Sciences}, volume = {37}, year = {1985}, month = {1985///}, pages = {257 - 285}, author = {Reggia, James A. and Nau, Dana S. and Wang,P. Y and Peng,Y.} }