Abstract interpretation for constraint handling rules.

Tom Schrijvers, Peter J. Stuckey, Gregory J. Duck

Browse the full PPDP paper archive.