Gregory J. Duck, Peter J. Stuckey, Martin Sulzmann
Observable Confluence for Constraint Handling Rules
ICLP, 2007.
@inproceedings{ICLP-2007-DuckSS, author = "Gregory J. Duck and Peter J. Stuckey and Martin Sulzmann", booktitle = "{Proceedings of the 23rd International Conference on Logic Programming}", doi = "10.1007/978-3-540-74610-2_16", isbn = "978-3-540-74608-9", pages = "224--239", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Observable Confluence for Constraint Handling Rules}", volume = 4670, year = 2007, }