Recursive unsolvability of group theoretic problems (1958)

by M Rabin
Venue:Ann. of Math