@TechReport{      Meyer:WS1S:1973,
  Author        = "Meyer, Albert",
  date-added    = "2020-01-22 18:07:30 +0100",
  date-modified = "2020-01-22 18:08:32 +0100",
  Institution   = "MIT - Project MAC Technical Memorandum 38",
  Title         = "Weak monadic second order theory of succesor is not elementary-recursive",
  Year          = "1973"
}

@TechReport{ Meyer:WS1S:1973, Author = "Meyer, Albert", date-added = "2020-01-22 18:07:30 +0100", date-modified = "2020-01-22 18:08:32 +0100", Institution = "MIT - Project MAC Technical Memorandum 38", Title = "Weak monadic second order theory of succesor is not elementary-recursive", Year = "1973" }