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