@misc{indiciae6c8845a7c6f3,
  title = {Ackermannian and Primitive-Recursive Bounds with Dickson's Lemma},
  author = {Diego Figueira and Santiago Figueira and Sylvain Schmitz and Philippe Schnoebelen},
  year = {2011},
  doi = {10.1109/lics.2011.39},
  url = {https://arxiv.org/abs/1007.2989},
  note = {Source identifier: 1007.2989}
}