| proposed by | Francisco Azevedo fa@di.fct.unl.pt |
José Júlio Alferes, Francisco Azevedo, Pedro Barahona, Carlos V. Damásio and Terrance Swift, Deductive Diagnosis of Digital Circuits, in First IFIP Conference on Artificial Intelligence Applications and Innovations (AIAI'2004), Kluwer Academic Press, pages 155-165, 2004.
P. Lucas, Symbolic Diagnosis and its Formalisation, The Knowledge Engineering Review 12(2), (1997), pp. 109-146.
J. de Kleer and B. C. Williams, Diagnosing Multiple Faults, Artificial Intelligence 32(1), (April 1987), pp. 97-130.
ISCAS. Special Session on ATPG, Proceedings of the IEEE Symposium on Circuits and Systems, Kyoto, Japan, (July 1985), pp. 663-698.
P. Fröhlich, DRUM-II Efficient Model-based Diagnosis of
Technical Systems, PhD thesis, University of Hannover, (1998).