Church-Rosser Strategies in the Lambda Calculus