1. De Koninck, L.: Execution control for Constraint Handling Rules. Ph.D thesis, K.U.Leuven (2008)
2. Frühwirth, T.: Theory and practice of Constraint Handling Rules. J. Log. Program. 37(1-3), 95–138 (1998)
3. Lecture Notes in Computer Science;H. Ganzinger,2002
4. Lecture Notes in Computer Science;G.J. Duck,2004
5. De Koninck, L., Schrijvers, T., Demoen, B.: User-definable rule priorities for CHR. In: Leuschel, M., Podelski, A. (eds.) PPDP 2007, pp. 25–36. ACM, New York (2007)