Budaghyan L, Grigoryan D, Torosyan L. A NECESSARY AND SUFFICIENT CONDITION FOR THE UNIQUENESS OF $ \beta\delta $-NORMAL FORM OF TYPED $ \lambda $-TERMS FOR THE CANONICAL NOTION OF $ \delta $-REDUCTION. Proc. YSU A: Phys. Math. Sci. [Internet]. 2019 Apr. 15 [cited 2024 Nov. 23];53(1 (248):28-36. Available from: https://pub.ysu.am/index.php/proceedings-phys-math/article/view/vol53_no1_2019_pp028-036