The Refined Operational Semantics of Constraint Handling Rules.

Gregory J. Duck, Peter J. Stuckey, Maria J. Garca de la Banda, Christian Holzbaur

Browse the full ICLP paper archive.