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]
@incollection{WolfRV08,
title = {Adaptive CHR Meets CHR:::v:::: An Extended Refined Operational Semantics for CHR:::v::: Based on Justifications},
author = {Armin Wolf and Jacques Robin and Jairson Vitorino},
year = {2008},
doi = {10.1007/978-3-540-92243-8_3},
url = {http://dx.doi.org/10.1007/978-3-540-92243-8_3},
tags = {semantics, rule-based, operational semantics},
researchr = {https://researchr.org/publication/WolfRV08},
cites = {0},
citedby = {0},
pages = {48-69},
booktitle = {Constraint Handling Rules, Current Research Topics},
editor = {Tom Schrijvers and Thom W. Frühwirth},
volume = {5388},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-92242-1},
}