@article{RodriKapurSCICO07,
 author = "E. Rodriguez-Carbonell, D. Kapur",
 title = "Automatic Generation of Polynomial Invariants of Bounded Degree using Abstract Interpretation",
 journal = "Science of Computer Programming",
 volume = 64,
 number = 1,
 year = 2007,
 pages = "54--75",
}