Termination of Isabelle functions via termination of rewriting (2011)

by A Krauss, C Sternagel, R Thiemann, C Fuhs, J Giesl
Venue:In Proc. ITP 2011, volume 6898 of LNCS