Leslie De Koninck Logical Algorithms meets CHR: A meta-complexity result for Constraint Handling Rules with rule priorities http://arxiv.org/abs/0901.1230 2009 CoRR abs/0901.1230 db/journals/corr/corr0901.html#abs-0901-1230 informal publication