1. L. Console, D. Theseider Dupré, P. Torasso, A theory of diagnosis for incomplete causal models, in: Proceedings of the 10th International Joint Conference on Artificial Intelligence 1989, pp. 1311–1317
2. L. Console, P. Torasso, Integrating models of correct behaviour into abductive diagnosis, in: Proceedings of ECAI'90, 1990, pp. 160–166
3. Model-based diagnosis using structured system descriptions;Darwiche;Journal of Artificial Intelligence Research,1998
4. J. de Kleer, Local Methods for Localizing Faults in Electronic Circuits, MIT AI Memo, vol. 394, 1976, Massachusetts Institute of Technology, Cambridge, MA
5. An assumption-based TMS;de Kleer;Artificial Intelligence,1986