Leslie De Koninck Logical Algorithms meets CHR: A meta-complexity result for Constraint Handling Rules with rule priorities. 165-212 2009 9 TPLP 2 http://dx.doi.org/10.1017/S1471068409003664 db/journals/tplp/tplp9.html#Koninck09