Automated Termination Analysis for Haskell: From Term Rewriting to Programming Languages (2006)

by J Giesl, S Swiderski, P Schneider-Kamp, R Thiemann
Venue:RTA, volume 4098 of LNCS