Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio Proofs of Program Properties via Unfold/Fold Transformations of Constraint Logic Programs. In: Dagstuhl Seminar Proceedings. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, Dagstuhl, Germany. (2006)