Leslie De Koninck Tom Schrijvers Bart Demoen User-definable rule priorities for CHR. 25-36 2007 conf/ppdp/2007 PPDP http://doi.acm.org/10.1145/1273920.1273924 db/conf/ppdp/ppdp2007.html#KoninckSD07