Irvin Roy Hentzel David Pokrass Jacobs Complexity and Unsolvability Properties of Nilpotency. 32-43 1990 19 SIAM J. Comput. 1 db/journals/siamcomp/siamcomp19.html#HentzelJ90