Christian Holzbaur Maria J. García de la Banda Peter J. Stuckey Gregory J. Duck Optimizing compilation of constraint handling rules in HAL. 503-531 2005 5 TPLP 4-5 http://dx.doi.org/10.1017/S1471068405002413 db/journals/tplp/tplp5.html#HolzbaurBSD05