@Article{         Rabin:AMS:1968,
  Author        = "Rabin, Michael O.",
  date-added    = "2012-03-12 11:08:41 +0100",
  date-modified = "2020-08-12 12:37:54 +0200",
  Journal       = "Bulletin of the AMS",
  Keywords      = "automata theory and MSO and classic",
  Pages         = "1025--1029",
  Title         = "Decidability of second-order theories and automata on infinite trees",
  Volume        = "74",
  Year          = "1968",
  File          = "Decidability of second-order theories and automata on infinite trees - Rabin (0) (0) - a - a - a.pdf"
}

@Article{ Rabin:AMS:1968, Author = "Rabin, Michael O.", date-added = "2012-03-12 11:08:41 +0100", date-modified = "2020-08-12 12:37:54 +0200", Journal = "Bulletin of the AMS", Keywords = "automata theory and MSO and classic", Pages = "1025--1029", Title = "Decidability of second-order theories and automata on infinite trees", Volume = "74", Year = "1968", File = "Decidability of second-order theories and automata on infinite trees - Rabin (0) (0) - a - a - a.pdf" }