Jon Sneyers, Tom Schrijvers, Bart Demoen. Guard Reasoning in the Refined Operational Semantics of CHR. In Tom Schrijvers, Thom W. Frühwirth, editors, Constraint Handling Rules, Current Research Topics. Volume 5388 of Lecture Notes in Computer Science, pages 213-244, Springer, 2008. [doi]
No references recorded for this publication.
No citations of this publication recorded.