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