L. Budaghyan, D. Grigoryan, and L. 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”, Proc. YSU A: Phys. Math. Sci., vol. 53, no. 1 (248), pp. 28–36, Apr. 2019.