Grigoryan, D. A. “On Church-Rosser Property of Notion of βδ-Reduction for Canonical Notion of δ-Reduction”. Mathematical Problems of Computer Science, vol. 50, Dec. 2021, pp. 81-87, doi:10.51408/1963-0024.