A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs.

Valerio Senni, Alberto Pettorossi, Maurizio Proietti

Browse the full ICLP paper archive.