Polynomial Time-Algorithms for the Nielsen reduction and related problems in free groups - Madlener, Klaus