Proving and disproving termination of higher-order functions (2005)

by J Giesl, R Thiemann, P Schneider-Kamp
Venue:In Proc. FroCoS’05, LNAI 3717