@Article{         Buchi:Canonical:1964,
  Author        = {B{\"u}chi, Richard},
  doi           = {10.1007/bf01969548},
  affiliation   = "Ann Arbor Mainz",
  date-added    = "2012-10-24 08:14:29 +0000",
  date-modified = "2014-05-30 09:42:20 +0000",
  ISSN          = "0933-5846",
  Issue         = "3",
  Journal       = "Arch. Math. Logic",
  keyword       = "prefix-rewrite systems and classic",
  Note          = "10.1007/BF01969548",
  Pages         = "91-111",
  Publisher     = "Springer Berlin / Heidelberg",
  Title         = "Regular canonical systems",
  URL           = "http://dx.doi.org/10.1007/BF01969548",
  Volume        = "6",
  Year          = "1964",
  bdsk-url-1    = "http://dx.doi.org/10.1007/BF01969548",
  File          = "Regular canonical systems - Büchi (0) (0) - a - a - y.pdf"
}

@Article{ Buchi:Canonical:1964, Author = {B{\"u}chi, Richard}, doi = {10.1007/bf01969548}, affiliation = "Ann Arbor Mainz", date-added = "2012-10-24 08:14:29 +0000", date-modified = "2014-05-30 09:42:20 +0000", ISSN = "0933-5846", Issue = "3", Journal = "Arch. Math. Logic", keyword = "prefix-rewrite systems and classic", Note = "10.1007/BF01969548", Pages = "91-111", Publisher = "Springer Berlin / Heidelberg", Title = "Regular canonical systems", URL = "http://dx.doi.org/10.1007/BF01969548", Volume = "6", Year = "1964", bdsk-url-1 = "http://dx.doi.org/10.1007/BF01969548", File = "Regular canonical systems - Büchi (0) (0) - a - a - y.pdf" }