Solvable Cases of the Decision Problem (1954)

by W Ackermann