Title: Solvable cases of the decision problem
First published: 1954