Strong normalization and perpetual reductions (1982)

by J A Bergstra, J W Klop
Venue:in the Lambda Calculus. J. Information Processing and Cybernetics