Senni, Valerio and Pettorossi, Alberto and Proietti, Maurizio  Folding Transformation Rules for Constraint Logic Programs.  In: CILC08, 23-esimo Convegno Italiano di Logica Computazionale , 10-12 Luglio 2008, Università di Perugia, Italy pp. 1-22.      (Submitted)   (2008)