@misc{indiciae1c1f07b5f1f7,
  title = {Formalizing Termination Proofs under Polynomial Quasi-interpretations},
  author = {Naohi Eguchi},
  year = {2015},
  doi = {10.4204/eptcs.191.5},
  url = {https://arxiv.org/abs/1509.03014},
  note = {Source identifier: 1509.03014}
}