1. S. Abdennadher and M. Saft. A visualization tool for constraint handling rules. In 11th Workshop on Logic Programming Environments, WLPE'01, 2001.
2. Y. Caseau, F.-X. Josset, and F. Laburthe. Claire: Combining sets, search, and rules to better express algorithms. In ICLP99, 1999.
3. A toolkit for constraint-based inference engines;Chew;Practical Aspects of Declarative Languages,2000
4. Constraint programming in java with JSolver;Chun;Practical Application of Constraint Logic Programming,1999
5. P. Codognet and D. Diaz. Boolean constraint solving using clp(FD). In D. Miller, editor, Logic Programming - Proceedings of the 1993 International Symposium, Vancouver, Canada, 1993. The MIT Press.