GRIGORYAN, D. A. On Church-Rosser Property of Notion of βδ-Reduction for Canonical Notion of δ-Reduction. Mathematical Problems of Computer Science, [S. l.], v. 50, p. 81–87, 2021. DOI: 10.51408/1963-0024. Disponível em: http://mpcs.sci.am/index.php/mpcs/article/view/62. Acesso em: 21 dec. 2024.