Solvable cases of the decision problem - Ackermann, W. (Wilhelm), 1896- (North-Holland, 1954)