@inproceedings{Muller-Olm02Polynomial,
  author = {Markus M\"uller-Olm and Helmut Seidl},
  title = {Polynomial {C}onstants {A}re {D}ecidable},
  booktitle = {Static Analysis},
  editor = {Manuel V. Hermenegildo and Germ\'an Puebla},
  month = {September},
  year = 2002,
  pages = {4-19},
  series = {Lecture Notes in Computer Science},
  volume = {2477},
  publisher = {Springer},
  address = {Madrid, Spain},
}