1. Abdennadher, S., Krämer, E., Saft, M., Schmauss, M.: JACK: a java constraint kit. In: Electronic Notes in Theoretical Computer Science, vol. 64, pp. 1–17 (2002). https://doi.org/10.1016/S1571-0661(04)80344-X
2. Abdennadher, S., Marte, M.: University course timetabling using constraint handling rules. AAI 14(4), 311–325 (2000). https://doi.org/10.1080/088395100117016
3. Barichard, V.: CHR++ (2022). https://gitlab.com/vynce/chrpp
4. Betz, H.: Relating coloured petri nets to constraint handling rules. In: CHR 2007, vol. 7, pp. 33–47 (2007). https://dtai-static.cs.kuleuven.be/projects/CHR/papers/chr2007/betz_petri_nets_chr07.pdf
5. Chin, W., Sulzmann, M., Wang, M.: A Type-Safe Embedding of Constraint Handling Rules into Haskell (2008). https://www.semanticscholar.org/paper/A-Type-Safe-Embedding-of-Constraint-Handling-Rules-Chin-Sulzmann/ea47790fc268710d73b2a6be0305e3f3453682e3