Practical inference for typebased termination in a polymorphic setting (2005)

by Gilles Barthe, Benjamin Grégoire, Fernando Pastawski
Venue:Pages 71–85 of: Typed Lambda Calculi and Applications (TLCA 2005