@InProceedings{   Tarski:1951,
  Author        = "Tarski, Alfred",
  date-added    = "2018-07-14 08:02:41 +0000",
  date-modified = "2021-08-12 15:59:20 +0200",
  Publisher     = "University of California Press",
  Title         = "A Decision Method for Elementary Algebra and Geometry",
  Year          = "1951",
  File          = "R109 (0) - a - a - l.pdf",
  file-2        = "euclid.bams.1183517675 (0) - a - a - l.pdf"
}

@InProceedings{ Tarski:1951, Author = "Tarski, Alfred", date-added = "2018-07-14 08:02:41 +0000", date-modified = "2021-08-12 15:59:20 +0200", Publisher = "University of California Press", Title = "A Decision Method for Elementary Algebra and Geometry", Year = "1951", File = "R109 (0) - a - a - l.pdf", file-2 = "euclid.bams.1183517675 (0) - a - a - l.pdf" }