1. Cordier, M.O., et al.: AI and automatic control approaches of model-based diagnosis: links and underlying hypotheses. In: Edelmayer, A.M. (ed.) Preprints: SAFEPROCESS 2000, 4th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes, pp. 274–279. IFAC (2000)
2. Cordier, M.O., et al.: A comparative analysis of AI and control theory approaches to model-based diagnosis. In: Horn, W. (ed.) ECAI 2000. 14th European Conference on Artificial Intelligence, pp. 136–140. IOS Press (2000)
3. Davis, R., Hamscher, W.: Model-Based Reasoning: Troubleshooting. Morgan Kaufmann Publishers, San Mateo (1992)
4. Dechter, R.: Constraint Processing. Elsevier Science, New York (2003)
5. Feldman, A., Pietersma, J., van Gemund, A.: A multi-valued sat-based algorithm for faster model-based diagnosis. In: González, C.A., Escobet, T., Pulido, B. (eds.) DX 2006: 17-th International Workshop on Principles of Diagnosis, pp. 93–100 (2006)