Generalized Presentations of Infinite Groups, in Particular of Aut(Fω). - Oleg Bogopolski; Wilhelm Singhof (Int. J. Algebra Comput., 2012)