Free subgroups in division rings generated by group rings of soluble groups. - Jairo Z. Gonçalves; A. I. Lichtman (Int. J. Algebra Comput., 2014)