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)
E. Albert, P. Arenas, S. Genaim, and G. Puebla. Proceedings of the 15th International Symposium on Static Analysis, page 221--237. Berlin, Heidelberg, Springer-Verlag, (2008)