@TechReport{      Wilkie01onexponentiation,
  Author        = "Wilkie, A. J.",
  date-added    = "2018-09-10 15:50:22 +0000",
  date-modified = "2018-09-10 15:50:22 +0000",
  Title         = "On Exponentiation - A Solution to Tarski's High School Algebra Problem",
  Year          = "2001",
  File          = "10.1.1.15.9695 (0) - a - a - p.pdf"
}

@TechReport{ Wilkie01onexponentiation, Author = "Wilkie, A. J.", date-added = "2018-09-10 15:50:22 +0000", date-modified = "2018-09-10 15:50:22 +0000", Title = "On Exponentiation - A Solution to Tarski's High School Algebra Problem", Year = "2001", File = "10.1.1.15.9695 (0) - a - a - p.pdf" }