TY  - CPAPER
AU  - SCHRIJVERS, T.
AU  - STUCKEY, P.
AU  - DUCK, G.
Y2  - 2014/05/21
Y1  - 2005
UR  - http://hdl.handle.net/11343/29424
LA  - eng
PB  - ACM Press
KW  - Computer Software
T1  - Abstract interpretation for constraint handling rules
IS  - Proceedings of the Seventh ACM SIGPLAN Conference on Principles and Practice of Declarative Programming
SP  - 218-229
L1  - /bitstream/handle/11343/29424/278132_40364.pdf?sequence=1&isAllowed=n
ER  -