Reggia JA, Nau DS, Peng Y, Perricone B.  1985.  A theoretical foundation for abductive expert systems.