Budaghyan, L.E., D.A. Grigoryan, and L.H. Torosyan. “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, no. 1 (248) (April 15, 2019): 28–36. Accessed November 23, 2024. https://pub.ysu.am/index.php/proceedings-phys-math/article/view/vol53_no1_2019_pp028-036.