TY  - RPRT
TI  - Decidability properties for fragments of CHR
AU  - Maurizio Gabbrielli abd Jacopo Mauro
AU  - Maria Chiara Meo
AU  - Jon Sneyers
PY  - 2010
DO  - 10.1017/s1471068410000311
UR  - https://arxiv.org/abs/1007.4476
ID  - 1007.4476
ER  -