@misc{indiciaeced32c3cf625,
  title = {A Complete and Terminating Execution Model for Constraint Handling Rules},
  author = {Hariolf Betz and Frank Raiser and Thom Frühwirth},
  year = {2010},
  doi = {10.1017/s147106841000030x},
  url = {https://arxiv.org/abs/1007.3829},
  note = {Source identifier: 1007.3829}
}