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