Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio  Automatic Correctness Proofs for Logic Program Transformations.   In:  Logic Programming.   Lecture Notes in Computer Science  (4670).  Springer, pp. 364-379.  ISBN 978-3-540-74608-9      (2007)