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)
B. Gulavani, and S. Gulwani. Proceedings of the 20th International Conference on Computer Aided Verification, page 370--384. Berlin, Heidelberg, Springer-Verlag, (2008)
C. Alias, A. Darte, P. Feautrier, and L. Gonnord. Proceedings of the 17th International Conference on Static Analysis, page 117--133. Berlin, Heidelberg, Springer-Verlag, (2010)