Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio  Proving Properties of Constraint Logic Programs by Eliminating Existential Variables.   In:  Logic Programming.   Lecture Notes in Computer Science  (4079).  Springer, pp. 179-195.  ISBN 978-3-540-36635-5      (2006)