Studies in logic and the foundations of mathematics ;
,v. 95
"This book grew out of the working conference 'Decision problems in algebra' held in Oxford the summer of 1976, under the auspices of the Science Research Council of the United Kingdom. This work is a sequel to the volume 'Word problems: decision problems and the Burnside problem in group theory', which itself was the result of a similar working conference held in Irvine the summer of 1969."