Thom W. Frühwirth Theory and Practice of Constraint Handling Rules. 95-138 1998 37 J. Log. Program. 1-3 db/journals/jlp/jlp37.html#Fruhwirth98 http://dx.doi.org/10.1016/S0743-1066(98)10005-5