A simplified proof of the Church-Rosser theorem
scientific article; zbMATH DE number 6305279