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