On a decision method in restricted second-order arithmetic (1962)

by J R Büchi
Venue:Proceedings of the First International Congress on Logic, Methodology, and Philosophy of Science 1960