@misc{indiciae928da75ba1d5,
  title = {Termination Casts: A Flexible Approach to Termination with General Recursion},
  author = {Aaron Stump and Vilhelm Sjöberg and Stephanie Weirich},
  year = {2010},
  doi = {10.4204/eptcs.43.6},
  url = {https://arxiv.org/abs/1012.4900},
  note = {Source identifier: 1012.4900}
}