Constraint Handling Rules and Tabled Execution.

Tom Schrijvers, David Scott Warren

Browse the full ICLP paper archive.