@Article{         Buchib,
  Author        = {B{\"u}chi, Richard},
  date-added    = "2012-12-03 15:45:33 +0000",
  date-modified = "2012-12-03 15:46:04 +0000",
  Journal       = "Bull. Amer. Math. Soc.",
  Keywords      = "automata theory",
  Pages         = "767--770",
  Title         = "Decision methods in the theory of ordinals",
  Volume        = "71",
  Year          = "1965",
  File          = "Decision methods in the theory of ordinals - Büchi (0) (0) - a - a - s.pdf"
}

@Article{ Buchib, Author = {B{\"u}chi, Richard}, date-added = "2012-12-03 15:45:33 +0000", date-modified = "2012-12-03 15:46:04 +0000", Journal = "Bull. Amer. Math. Soc.", Keywords = "automata theory", Pages = "767--770", Title = "Decision methods in the theory of ordinals", Volume = "71", Year = "1965", File = "Decision methods in the theory of ordinals - Büchi (0) (0) - a - a - s.pdf" }