@Article{         Trakhtenbrot:1950,
  Author        = "Trakhtenbrot, B. A.",
  date-added    = "2021-08-13 13:46:43 +0200",
  date-modified = "2021-08-13 13:46:43 +0200",
  Journal       = "Doklady Akademii Nauk SSSR",
  Pages         = "569-0572",
  Title         = "Impossibility of an algorithm for the decision problem in finite classes",
  Volume        = "70",
  Year          = "1950",
  File          = "Impossibility of an Algorithm for the Decision Problem in Finite Classes - 2266840.pdf"
}

@Article{ Trakhtenbrot:1950, Author = "Trakhtenbrot, B. A.", date-added = "2021-08-13 13:46:43 +0200", date-modified = "2021-08-13 13:46:43 +0200", Journal = "Doklady Akademii Nauk SSSR", Pages = "569-0572", Title = "Impossibility of an algorithm for the decision problem in finite classes", Volume = "70", Year = "1950", File = "Impossibility of an Algorithm for the Decision Problem in Finite Classes - 2266840.pdf" }