The complexity of the word problems for commutative semigroups and polynomial ideals - Mayr, Ernst W. 1950-; Meyer, Albert R. (Mass. Inst. of Technology, Laboratory for Computer Science, 1981)