@misc{indiciaee5cd623c6b1e,
  title = {Polynomial Interpretations over the Natural, Rational and Real Numbers Revisited},
  author = {Friedrich Neurauter and Aart Middeldorp},
  year = {2014},
  doi = {10.2168/lmcs-10(3:22)2014},
  url = {https://arxiv.org/abs/1407.0406},
  note = {Source identifier: 1407.0406}
}