С. Адян, “О методе нахождения точных оценок длин выводов в системах Туэ”, MPCS, vol. 38, pp. 7–7, Dec. 2021.