Ingi Sobhi Slim Abdennadher Hariolf Betz Constructing Rule-Based Solvers for Intentionally-Defined Constraints. 70-84 2008 Constraint Handling Rules http://dx.doi.org/10.1007/978-3-540-92243-8_4 series/lncs/5388 db/series/lncs/lncs5388.html#SobhiAB08