Waldhausen, Friedhelm: The word problem in fundamental groups of sufficiently large irreducible 3-manifolds. In: The Annals of Mathematics (2). Jg.88 H. 2. 1968, S. 272-280