G. Puebla, F. Bueno, and M. Hermenegildo. Analysis and Visualization Tools for Constraint Programming, volume 1870 of Lecture Notes in Computer Science, page 63-107. Springer, (2000)
G. Puebla, F. Bueno, and M. Hermenegildo. Analysis and Visualization Tools for Constraint Programming, volume 1870 of Lecture Notes in Computer Science, page 23-62. Springer, (2000)