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

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