Constraint Handling Rules and Tabled Execution (2004)

by T Schrijvers, D Warren
Venue:Logic Programming, 20th International Conference, ICLP 2004, Proceedings (Demoen, B. and Lifschitz, V., eds.), vol 3132, Lecture Notes in Computer Science