[SLFM 015] Solvable Cases of the Decision Problem - W.Ackermann (NH 1954)(T).pdf