D. A. Grigoryan, “On Church-Rosser Property of Notion of βδ-Reduction for Canonical Notion of δ-Reduction”, MPCS, vol. 50, pp. 81–87, Dec. 2021.