Tom Schrijvers, David Scott Warren
Constraint Handling Rules and Tabled Execution
ICLP, 2004.
@inproceedings{ICLP-2004-SchrijversW, author = "Tom Schrijvers and David Scott Warren", booktitle = "{Proceedings of the 20th International Conference on Logic Programming}", doi = "10.1007/978-3-540-27775-0_9", isbn = "3-540-22671-0", pages = "120--136", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Constraint Handling Rules and Tabled Execution}", volume = 3132, year = 2004, }