@TechReport{      10.5555/867696,
  Author        = "Stansifer, Ryan",
  Abstract      = "No abstract supplied.",
  Address       = "USA",
  date-added    = "2020-11-21 10:23:24 +0100",
  date-modified = "2020-11-21 10:23:24 +0100",
  Publisher     = "Cornell University",
  Title         = "Presburger's Article on Integer Arithmetic: Remarks and Translation",
  Year          = "1984",
  File          = "Presburger’s Article on Integer Arithmetic - presburger - a - l.pdf"
}

@TechReport{ 10.5555/867696, Author = "Stansifer, Ryan", Abstract = "No abstract supplied.", Address = "USA", date-added = "2020-11-21 10:23:24 +0100", date-modified = "2020-11-21 10:23:24 +0100", Publisher = "Cornell University", Title = "Presburger's Article on Integer Arithmetic: Remarks and Translation", Year = "1984", File = "Presburger’s Article on Integer Arithmetic - presburger - a - l.pdf" }