Recursive unsolvability of group theoretic problems (1958)

by M O RABIN
Venue:In Annals of Mathematics