@misc{indiciae9237efcb2d8a,
  title = {Logical Algorithms meets CHR: A meta-complexity result for Constraint Handling Rules with rule priorities},
  author = {Leslie De Koninck},
  year = {2009},
  url = {https://arxiv.org/abs/0901.1230},
  note = {Source identifier: 0901.1230}
}