Slim Abdennadher Christophe Rigotti Automatic Generation of CHR Constraint Solvers http://arxiv.org/abs/cs.LO/0409030 2004 CoRR cs.LO/0409030 db/journals/corr/corr0409.html#cs-LO-0409030 informal publication