1. Borning, A. (1981). The programming language aspects of ThingLab, a constraint-oriented simulation laboratory. ACM Transaction on Programming Languages and Systems, 3(4), 353–387.
2. Carro, M., & Hermenegildo, M. (2000). Tools for constraint visualisation: The VIFID/TRIFID tool. In P. Deransart, M. V. Hermenegildo, & J. Maluszynski (Eds.), Analysis and visualization tools for constraint programming. New York: Springer.
3. Carro, M., & Hermenegildo, M. (2000). Tools for search-tree visualisation: The APT tool. In P. Deransart, M. V. Hermenegildo, & J. Maluszynski (Eds.), Analysis and visualization tools for constraint programming. New York: Springer.
4. Deransart, P., Hermenegildo, M., & Maluszynski, J. (Eds.) (2000). Analysis and visualization tools for constraint programming, constraint debugging (DiSCiPl project). London: Springer.
5. Dincbas, M., Van Hentenryck, P., Simonis, H., Aggoun, A., Graf, T., & Berthier, F. (1988). The constraint logic programming language CHIP. In Proceedings of the international conference on fifth-generation computer systems.