Grigoryan, D. A. (2021). On Church-Rosser Property of Notion of βδ-Reduction for Canonical Notion of δ-Reduction. Mathematical Problems of Computer Science, 50, 81–87. https://doi.org/10.51408/1963-0024