Budaghyan, L.E., D.A. Grigoryan, and L.H. Torosyan. 2019. “A NECESSARY AND SUFFICIENT CONDITION FOR THE UNIQUENESS OF $ \beta\delta $-NORMAL FORM OF TYPED $ \lambda $-TERMS FOR THE CANONICAL NOTION OF $ \delta $-REDUCTION”. Proceedings of the YSU A: Physical and Mathematical Sciences 53 (1 (248). Yerevan, Armenia:28-36. https://doi.org/10.46991/PYSU:A/2019.53.1.028.