Grigoryan, D. A. On Church-Rosser Property of Notion of βδ-Reduction for Canonical Notion of δ-Reduction. MPCS 2021, 50, 81-87.