@inproceedings{Buchi62,
    Author = {B{\"u}chi, Julius R.},
    BookTitle = {International Congress on Logic, Methodology, and Philosophy of Science},
    File = {On a Decision Method in Restricted Second-Order Arithmetic - Büchi (0) (0) - a - a - f.pdf},
    Keywords = {classic and no pdf},
    Pages = {1--11},
    Publisher = {Stanford University Press},
    Title = {{On a Decision Method in Restricted Second-Order Arithmetic}},
    Year = {1962},
    citeulike-article-id = {2948751},
    date-added = {2013-12-12 17:46:19 +0000},
    date-modified = {2013-12-12 17:48:07 +0000},
    posted-at = {2008-07-01 16:58:48},
    priority = {0},
    doi = {10.1007/978-1-4613-8928-6_23}
}

@inproceedings{Buchi62, Author = {B{\"u}chi, Julius R.}, BookTitle = {International Congress on Logic, Methodology, and Philosophy of Science}, File = {On a Decision Method in Restricted Second-Order Arithmetic - Büchi (0) (0) - a - a - f.pdf}, Keywords = {classic and no pdf}, Pages = {1--11}, Publisher = {Stanford University Press}, Title = {{On a Decision Method in Restricted Second-Order Arithmetic}}, Year = {1962}, citeulike-article-id = {2948751}, date-added = {2013-12-12 17:46:19 +0000}, date-modified = {2013-12-12 17:48:07 +0000}, posted-at = {2008-07-01 16:58:48}, priority = {0}, doi = {10.1007/978-1-4613-8928-6_23} }