1. Ayel, M., Laurent, J.P. (eds.): Validation, Verification and Testing of Knowledge- Based Systems. J. Wiley & Sons, Chichester (1991)
2. Bailleux, O., Marquis, P.: DISTANCE-SAT: Complexity and Algorithms. In: Proceedings AAAI/IAAI 1999, pp. 642–647 (1999)
3. Bankier, M.: Canadian Census Minimum change Donor imputation methodology. In: Proceedings of the Workshop on Data Editing, UN/ECE, Cardiff (2000)
4. Boros, E., Hammer, P.L., Ibaraki, T., Kogan, A.: Logical analysis of numerical data. Mathematical Programming 79, 163–190 (1997)
5. Bruni, R., Reale, A., Torelli, R.: Optimization Techniques for Edit Validation and Data Imputation. In: Proceedings of Statistics Canada International Symposium: Achieving Data Quality in a Statistical Agency, Ottawa, Canada (2001)