1. Lecture Notes in Computer Science;S Abdennadher,2004
2. Lecture Notes in Computer Science;GJ Duck,2004
3. Duck, G.J.: SMCHR: satisfiability modulo constraint handling rules. Theory Pract. Log. Program. 12(4–5), 601–618 (2012)
4. Frühwirth, T., Raiser, F. (eds.): Constraint Handling Rules - Compilation, Execution, and Analysis. BOD, Norderstedt (2018). ISBN 9783746069050
5. Frühwirth, T.: As time goes by II: more automatic complexity analysis of concurrent rule programs. ENTCS 59(3), 185–206 (2002). Di Pierro, A., Wiklicky, H. (eds.) QAPL 2001: Proceedings of First International Workshop on Quantitative Aspects of Programming Languages. Elsevier