2 citations to https://www.mathnet.ru/eng/dan21124
  1. S. I. Adian, “On a Method for Proving Exact Bounds on Derivational Complexity in Thue Systems”, Math. Notes, 92:1 (2012), 3–15  mathnet  crossref  crossref  mathscinet  zmath  isi  elib  elib
  2. Quantum Electron., 42:7 (2012), 640–644  mathnet  crossref  adsnasa  isi  elib