1. Ägren, M., Szeredi, T., Beldiceanu, N., Carlsson, M.: Tracing and explaining execution of clp(fd) programs. In: Proc. of WLPE 2002 (2002) CoRR:cs.SE/0207047
2. Bracchi, C., Gefflot, C., Paulin, F.: Combining propagation information and search-tree visualization using opl studio. In: Proc. of WLPE 2001, Cyprus (2001)
3. Codognet, P., Diaz, D.: Compiling constraints in clp(FD). Journal of Logic Programming 27(3), 185–226 (1996)
4. Deransart, P., Ducassé, M., Langevine, L.: A generic trace model for finite domain solvers. In: O’Sullivan, B. (ed.) Proc. of UICS 2002, Ithaca, USA (2002)
5. Deransart, P., Ed-Dbali, A., Cervoni, L.: Prolog, The Standard; Reference Manual, April 1996. Springer, Heidelberg (1996)