A lazy narrowing calculus for declarative constraint programming.

Francisco Javier Lpez-Fraguas, Mario Rodrguez-Artalejo, Rafael del Vado Vrseda

Browse the full PPDP paper archive.