1. Bakker, R.R., Dikker, F., Tempelman, F., Wogmim, P.M.: Diagnosing and solving over-determined constraint satisfaction problems. In: Proceedings of the 13th International Joint Conference on Artificial Intelligence, IJCAI’93, vol. 1, pp. 276–281. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA (1993)
2. Bistarelli, S., Montanari, U., Rossi, F.: Semiring-based constraint satisfaction and optimization. J. ACM 44(2), 201–236 (1997)
3. Bose, N.K.: Gröbner bases: an algorithmic method in polynomial ideal theory. In: Multidimensional Systems Theory and Applications, pp. 89–127. Springer Netherlands, Dordrecht (1995)
4. Ceballos, R., Gómez-López, M.T., Gasca, R.M., Del Valle, C.: Determination of possible minimal conflict sets using components clusters and grobner bases. In: Proceedings of the 15th International Workshop on Principles of Diagnosis, DX04, Carcassonne, France, pp. 21–26 (2004)
5. Cordier, M., Dague, P., Dumas, M., Lévy, F., Montmain, J., Staroswiecki, M., Travé-Massuyès, L.: A comparative analysis of AI and control theory approaches to model-based diagnosis. In: ECAI 2000, Proceedings of the 14th European Conference on Artificial Intelligence, Berlin, Germany, pp. 136–140, 20–25 Aug 2000