Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio Constraint-Based Correctness Proofs for Logic Program Transformations. Technical Report #24/2011 IASI-CNR