Senni, Valerio and Pettorossi, Alberto and Proietti, Maurizio A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs. In: Logic Programming. Lecture Notes in Computer Science (5366). Springer, pp. 284-300. ISBN 978-3-540-89981-5 (2008)