TY  - RPRT
TI  - Linear-Logic Based Analysis of Constraint Handling Rules with Disjunction
AU  - Hariolf Betz
AU  - Thom W. Frühwirth
PY  - 2010
UR  - https://arxiv.org/abs/1009.2900
ID  - 1009.2900
ER  -