TY  - RPRT
TI  - Unfolding for CHR programs
AU  - Maurizio Gabbrielli
AU  - Maria Chiara Meo
AU  - Paolo Tacchella
AU  - Herbert Wiklicky
PY  - 2013
DO  - 10.1017/s1471068413000288
UR  - https://arxiv.org/abs/1307.0679
ID  - 1307.0679
ER  -