| | |
@article{DBLP:journals/tplp/Koninck09,
author = {Leslie De Koninck},
title = {Logical Algorithms meets CHR: A meta-complexity result for
Constraint Handling Rules with rule priorities},
journal = {TPLP},
volume = {9},
number = {2},
year = {2009},
pages = {165-212},
ee = {http://dx.doi.org/10.1017/S1471068409003664},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2009-06-08 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page