Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio  Constraint-based correctness proofs for logic program transformations.  Formal Aspects of Computing, 24 (4-6).  pp. 569-594.  ISSN 0934-5043      (2012)