Springer
Lecture Notes in Computer Science
International Conference on Typed Lambda Calculi and Applications

van Raamsdonk, F. (1997). Outermost-fair rewriting. In Typed Lambda Calculi and Applications (pp. 284–299). Springer.