Armin Wolf Jacques Robin Jairson Vitorino Adaptive CHR Meets CHR<sup>v</sup>: An Extended Refined Operational Semantics for CHR<sup>v</sup> Based on Justifications. 48-69 2008 Constraint Handling Rules http://dx.doi.org/10.1007/978-3-540-92243-8_3 series/lncs/5388 db/series/lncs/lncs5388.html#WolfRV08