On a decision method in restricted second order arithmatic. In Proceeding of the 1960 international Congress on Logic, Methodology. and Philosophy of Science (1962)

by J Büchi
Venue:Electronics Research Laboratory, University of California, Berkeley