Identical Relations in Symmetric Groups and Separating Words with Reversible Automata. - R. A. Gimadeev; Mikhail N. Vyalyi (CSR, 2010)