Fioravanti, Fabio and Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio  Using Real Relaxations during Program Specialization.   In:  Logic-Based Program Synthesis and Transformation.   Lecture Notes in Computer Science  (7225).  Springer-Verlag, pp. 106-122.  ISBN 978-3-642-32210-5      (2012)