Slim Abdennadher Christophe Rigotti Automatic generation of CHR constraint solvers. 403-418 2005 5 TPLP 4-5 http://dx.doi.org/10.1017/S1471068405002371 db/journals/tplp/tplp5.html#AbdennadherR05