@Article{         Trakhtenbrot:WMSO:1962,
  Author        = "Trakhtenbrot, B. A.",
  date-added    = "2012-12-03 15:22:54 +0000",
  date-modified = "2020-01-21 16:30:04 +0100",
  Journal       = "Siberian Math. J.",
  Keywords      = "automata theory",
  Title         = "Finite automata and the logic of one-place predicates",
  Year          = "1962"
}

@Article{ Trakhtenbrot:WMSO:1962, Author = "Trakhtenbrot, B. A.", date-added = "2012-12-03 15:22:54 +0000", date-modified = "2020-01-21 16:30:04 +0100", Journal = "Siberian Math. J.", Keywords = "automata theory", Title = "Finite automata and the logic of one-place predicates", Year = "1962" }