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