Polynomial algorithms for problems in free groups based on Nielsen type arguments - Avenhaus, Jürgen; Madlener, Klaus (Univ., 1980)