B
[Buc62] Julius R. Büchi. On a Decision Method in Restricted Second Order Arithmetic. In LMPS'60, pages 1-11. Stanford University Press, June 1962. 
@inproceedings{lmps1960-Buc,
  author =              {B{\"u}chi, Julius R.},
  title =               {On a Decision Method in Restricted Second Order
                         Arithmetic},
  editor =              {Nagel, Ernest and Suppes, Patrick and Tarski,
                         Alfred},
  booktitle =           {{P}roceedings of the 1960 {I}nternational {C}ongress
                         on {L}ogic, {M}ethodology and {P}hilosophy of
                         {S}cience ({LMPS}'60)},
  acronym =             {{LMPS}'60},
  publisher =           {Stanford University Press},
  pages =               {1-11},
  year =                {1962},
  month =               jun,
  confyear =            {1960},
}
List of authors