Constraint Logic Programming.

Joxan Jaffar, Jean-Louis Lassez

Browse the full POPL paper archive.