James A. Reggia Dana S. Nau Pearl Y. Wang A formal model of diagnostic inference. I. Problem formulation and decomposition. 227-256 1985 37 Inf. Sci. 1-3 http://dx.doi.org/10.1016/0020-0255(85)90015-5 db/journals/isci/isci37.html#ReggiaNW85