@article{Muller-Olm04Computing, author = {Markus M\"uller-Olm and Helmut Seidl}, title = {Computing {P}olynomial {P}rogram {I}nvariants}, journal = {Inf. Process. Lett.}, year = 2004, pages = {233-244}, volume = {91}, number = {5}, }