@inproceedings{rodrikapurSAS04,
  author = {E. Rodr{\'\i}guez-Carbonell and D. Kapur},
  title = "{An Abstract Interpretation Approach for Automatic Generation of Polynomial Invariants}",
  booktitle = "{International Symposium on Static Analysis (SAS 2004)}",
  series = {Lecture Notes in Computer Science},
  publisher = {Springer-Verlag},
  volume= "3148",
  year = "2004",
  pages="280--295"
}