The word problem in polycyclic groups is elementary F. B. Cannonito; R. W. Gatterdam — 1973 Compositio Mathematica