Nielsen J. A basis for subgroups of free groups. Math. Scand. 1955;3:31-43. doi:10.7146/math.scand.a-10423