TY  - RPRT
TI  - Concurrent Goal-Based Execution of Constraint Handling Rules
AU  - Edmund S. L. Lam
AU  - Martin Sulzmann
PY  - 2010
UR  - https://arxiv.org/abs/1006.3039
ID  - 1006.3039
ER  -