Leslie De Koninck Tom Schrijvers Bart Demoen A Flexible Search Framework for CHR. 16-47 2008 Constraint Handling Rules http://dx.doi.org/10.1007/978-3-540-92243-8_2 series/lncs/5388 db/series/lncs/lncs5388.html#KoninckSD08