Observable Confluence for Constraint Handling Rules.

Gregory J. Duck, Peter J. Stuckey, Martin Sulzmann

Browse the full ICLP paper archive.