Solvable cases of the decision problem - Ackermann W (1954)
Keywords: Maths