Proving Properties of Constraint Logic Programs by Eliminating Existential Variables.

Alberto Pettorossi, Maurizio Proietti, Valerio Senni

Browse the full ICLP paper archive.