1. Aggoun, D., Chan, P., Dufresne, E., Falvey, H., Grant, A., Herold, G., Macartney, M., Meier, D., Miller, S., Mudambi, B., Perez, E., van Rossum, J., Schimpf, P.A.: Tsahageas, and D.H. de Villeneuve. ECLIPSE 3.5. User Manual. European Computer Industry Research Centre (ECRC), Munich (1995)
2. Agren, M., Szeredi, T., Beldiceanu, N., Carlsson, M.: Tracing and explaining execution of CLP(FD) programs. In: Tessier, A. (ed.) Proceedings of the 12th Workshop on Logic Programming Environments, Copenhagen, Denmark (July 2002), Available as CoRR:cs.SE/0207047
3. Baudel, T., et al.: Discovery reference manual, Manufactured and distributed by Ilog (2003), http://www2.ilog.com/preview/Discovery/
4. Bracchi, C., Gefflot, C., Paulin, F.: Combining propagation information and search-tree visualization using OPL studio. In: Kusalik, A., Ducassé, M., Puebla, G. (eds.) Proceedings of the Eleventh Workshop on Logic Programming Environments (WLPE 2001), Cyprus, Décember 2001, pp. 27–39. Cyprus University (2001), Available as CoRR:cs.PL/0111042 http://xxx.lanl.gov/abs/cs.PL/0111042
5. Cosytec. CHIP++ Version 5.2. documentation volume 6 (1998), http://www.cosytec.com