@TechReport{      Buchi:1960aa,
  Author        = {B{\"u}chi, Julius Richard},
  date-added    = "2017-07-09 20:36:43 +0000",
  date-modified = "2017-07-09 20:37:28 +0000",
  Institution   = "The University of Michigan",
  Month         = "July",
  Title         = "On a Problem of Tarski",
  Year          = "1960",
  File          = "241159 (0) - a - a - i.pdf"
}

@TechReport{ Buchi:1960aa, Author = {B{\"u}chi, Julius Richard}, date-added = "2017-07-09 20:36:43 +0000", date-modified = "2017-07-09 20:37:28 +0000", Institution = "The University of Michigan", Month = "July", Title = "On a Problem of Tarski", Year = "1960", File = "241159 (0) - a - a - i.pdf" }