@techreport{Muller02Polynomial,
  author = {Markus M\"uller-Olm and Helmut Seidl},
  title = {Polynomial {C}onstants are {D}ecidable},
  year = 2002,
  series = {Forschungsbericht},
  volume = {02-09},
  publisher = {Universit\"at Trier, Mathematik/Informatik},
}