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