Church-Rosser strategies in the lambda calculus
scientific article; zbMATH DE number 3627137