Solvable cases of the decision problem - Ackermann, Wilhelm (Studies in Logic and the Foundation of Mathematics / North-Holland Publishing Company., 1954)