More Church-Rosser proofs (in Isabelle/HOL)
scientific article; zbMATH DE number 1565452