2 citations to https://www.mathnet.ru/rus/dan21124

1. С. И. Адян, “О методе нахождения точных оценок длин выводов в системах Туэ”, Матем. заметки, 92:1 (2012), 3–18          ; S. I. Adian, “On a Method for Proving Exact Bounds on Derivational Complexity in Thue Systems”, Math. Notes, 92:1 (2012), 3–15      
2. А. Г. Маликов, А. М. Оришич, В. Б. Шулятьев, Квантовая электроника, 42:7 (2012), 640–644      ; Quantum Electron., 42:7 (2012), 640–644