A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs
scientific article; zbMATH DE number 5496699