Automated Termination Proofs for Haskell . . . (2010)

by Jürgen Giesl , Matthias Raffelsieper , Peter Schneider-Kamp , Stephan Swiderski , René Thiemann