@Inproceedings{EPTCS43.6, author = {Stump, Aaron and Sj\"oberg, Vilhelm and Weirich, Stephanie}, year = {2010}, title = {Termination Casts: A Flexible Approach to Termination with General Recursion}, editor = {Bove, Ana and Komendantskaya, Ekaterina and Niqui, Milad}, booktitle = {{\rm Proceedings Workshop on} Partiality and Recursion in Interactive Theorem Provers, {\rm Edinburgh, UK, 15th July 2010}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {43}, publisher = {Open Publishing Association}, pages = {76-93}, doi = {10.4204/EPTCS.43.6}, }