Jürgen Avenhaus, Klaus Madlener. The Nielsen Reduction as Key Problem to Polynomial Algorithms in Free Groups. In Jacques Calmet, editor, Computer Algebra, EUROCAM 82, European Computer Algebra Conference, Marseille, France, 5-7 April, 1982, Proceedings. Volume 144 of Lecture Notes in Computer Science, pages 49-56, Springer, 1982.
Abstract is missing.