Mario Mezzanzanica, Mirko Cesarini, Fabio Mercorio, Roberto Boselli. Towards the Use of Model Checking for Performing Data Consistency Evaluation and Cleansing. In Laure Berti-Equille, Isabelle Comyn-Wattiau, Monica Scannapieco, editors, Proceedings of the 17th International Conference on Information Quality, IQ 2012, Paris, France, November 16-17, 2012. pages 163-177, MIT, 2012.