TY  - RPRT
TI  - Optimizing compilation of constraint handling rules in HAL
AU  - Christian Holzbaur
AU  - Maria Garcia de la Banda
AU  - Peter J. Stuckey
AU  - Gregory J. Duck
PY  - 2004
UR  - https://arxiv.org/abs/cs/0408025
ID  - cs/0408025
ER  -