Solvable cases of the decision problem. - Ackermann, Wilhelm (North-Holland Publishing Company, 1954)
Keywords: 03