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