@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},
}