@misc{indiciae498c65af4620,
  title = {Size-Change Termination as a Contract},
  author = {Phuc C. Nguyen and Thomas Gilray and Sam Tobin-Hochstadt and David Van Horn},
  year = {2019},
  doi = {10.1145/3314221.3314643},
  url = {https://arxiv.org/abs/1808.02101},
  note = {Source identifier: 1808.02101}
}