Word problems and recursively enumerable degrees of unsolvability, A sequel on finitely presented groups (1966)

by W W Boone
Venue:Annals of Math