Termination of Isabelle Functions via Termination of Rewriting.

Alexander Krauss, Christian Sternagel, Ren Thiemann, Carsten Fuhs, Jrgen Giesl

Browse the full ITP paper archive.