The Word Problem (1959)

by W W Boone
Venue:Annals of Mathematics