SOLVABLE CASES OF THE DECISION PROBLEM - Ackermann, W. (North-Holland, 1954)