Proving Properties of Constraint Logic Programs by Eliminating Existential Variables Alberto Pettorossi (Università di Roma “Tor Vergata”), Maurizio Proietti.
Proving Properties of Constraint Logic Programs by Eliminating Existential Variables