@inproceedings{Petter05Inferring, author = {Michael Petter and Helmut Seidl}, title = {Inferring {P}olynomial {I}nvariants}, booktitle = {Workshop on Numerical and Symbolic Abstract Domains}, year = 2005, address = {Paris, France}, }