@techreport{Petter05Inferring2,
  author = {Michael Petter and Helmut Seidl},
  title = {Inferring {P}olynomial {I}nvariants with {P}olyinvar},
  year = 2005,
}