Budaghyan, L., Grigoryan, D. and Torosyan, L. (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. Yerevan, Armenia, 53(1 (248), pp. 28–36. doi: 10.46991/PYSU:A/2019.53.1.028.