@Article{         Buchi:WMSO:1960,
  Author        = {B{\"u}chi, Richard},
  date-added    = "2012-12-03 15:13:11 +0000",
  date-modified = "2020-01-21 16:07:25 +0100",
  Journal       = "Z. Math. Logik und grundl. Math.",
  Keywords      = "automata theory and classic",
  Pages         = "66--92",
  Title         = "Weak second-order arithmetic and finite automata",
  Volume        = "6",
  Year          = "1960",
  doi           = "10.1002/malq.19600060105",
  File          = "buchi (0) - a - a - u.pdf",
  file-2        = "Weak second-order arithmetic and finite automata - Büchi (0) (0) - a - a - u.pdf"
}

@Article{ Buchi:WMSO:1960, Author = {B{\"u}chi, Richard}, date-added = "2012-12-03 15:13:11 +0000", date-modified = "2020-01-21 16:07:25 +0100", Journal = "Z. Math. Logik und grundl. Math.", Keywords = "automata theory and classic", Pages = "66--92", Title = "Weak second-order arithmetic and finite automata", Volume = "6", Year = "1960", doi = "10.1002/malq.19600060105", File = "buchi (0) - a - a - u.pdf", file-2 = "Weak second-order arithmetic and finite automata - Büchi (0) (0) - a - a - u.pdf" }