This important contribution, published jointly with his student Peter B Bendix in 1970, attempts to solve solve the word problem in algebraic systems by deriving consequences of given relations to give, in some sense, a complete set.
Ang mahalagang kontribusyon, nai-publish na sama-sama sa kanyang estudyante Peter B Bendix sa 1970, mga pagtatangka upang malutas ang mga salita na malutas ang problema sa algebraic sistema sa pamamagitan ng panggagaling kahihinatnan ng mga ibinigay na mga relasyong na magbigay, sa ilang kahulugan, ng isang kumpletong hanay.