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