Reggia JA, Perricone B, Nau DS, Peng Y.  1985.  Answer justification in abductive expert systems for diagnostic problem solving. IEEE Transactions on Biomedical Engineering.