Solvable cases of the decision problem - Ackermann W (Amsterdam North-Holland, 1954)
Keywords: Decision problem; Mathematical logic