TY  - RPRT
TI  - A Complete and Terminating Execution Model for Constraint Handling Rules
AU  - Hariolf Betz
AU  - Frank Raiser
AU  - Thom Frühwirth
PY  - 2010
DO  - 10.1017/s147106841000030x
UR  - https://arxiv.org/abs/1007.3829
ID  - 1007.3829
ER  -