Адян, С. 2021. О методе нахождения точных оценок длин выводов в системах Туэ. Mathematical Problems of Computer Science. 38, (Dec. 2021), 7–7.