Carro Liñares, Manuel and Hermenegildo, Manuel V. (1998). Some design issues in the visualization of constraint logic program execution. In: "Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98", July 20-23, 1998, A Coruña, Spain.