Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo: A Generic Processor for Program Validation and Debugging. Analysis and Visualization Tools for Constraint Programming 2000: 63-107