Armin Wolf, Jacques Robin, Jairson Vitorino. Adaptive CHR Meets CHR:::v:::: An Extended Refined Operational Semantics for CHR:::v::: Based on Justifications. In Tom Schrijvers, Thom W. Frühwirth, editors, Constraint Handling Rules, Current Research Topics. Volume 5388 of Lecture Notes in Computer Science, pages 48-69, Springer, 2008. [doi]
Abstract is missing.