TY  - RPRT
TI  - (Co-)Inductive semantics for Constraint Handling Rules
AU  - Rémy Haemmerlé
PY  - 2011
DO  - 10.1017/s1471068411000196
UR  - https://arxiv.org/abs/1108.0330
ID  - 1108.0330
ER  -