Proofs of Program Properties via Unfold/Fold Transformations of Constraint Logic Programs.

Alberto Pettorossi Maurizio Proietti Valerio Senni Proofs of Program Properties via Unfold/Fold Transformations of Constraint Logic Programs. 2005 conf/dagstuhl/2005P5161 Transformation Techniques in Software Engineering http://drops.dagstuhl.de/opus/volltexte/2006/422 db/conf/dagstuhl/P5161.html#PettorossiPS05