Leslie De Koninck. Logical Algorithms meets CHR: A meta-complexity result for Constraint Handling Rules with rule priorities. TPLP, 9(2):165-212, 2009. [doi]
@article{Koninck09,
title = {Logical Algorithms meets CHR: A meta-complexity result for Constraint Handling Rules with rule priorities},
author = {Leslie De Koninck},
year = {2009},
doi = {10.1017/S1471068409003664},
url = {http://dx.doi.org/10.1017/S1471068409003664},
tags = {rule-based, meta-model, constraints, rules, Meta-Environment, meta-objects},
researchr = {https://researchr.org/publication/Koninck09},
cites = {0},
citedby = {0},
journal = {TPLP},
volume = {9},
number = {2},
pages = {165-212},
}