Characterization of finitely generated groups by types. - Alexei G. Myasnikov; Nikolay S. Romanovskii (Int. J. Algebra Comput., 2018)