@Article{         cooper,
  Author        = "Cooper, D. C.",
  date-added    = "2017-09-26 08:57:50 +0000",
  date-modified = "2017-09-26 08:59:08 +0000",
  Journal       = "Machine Intelligence",
  Keywords      = "Presburger arithmetic and quantifier elimination",
  Pages         = "91--99",
  Title         = "Theorem Proving in Arithmetic without Multiplication",
  Volume        = "7",
  Year          = "1972",
  File          = "Cooper (0) - a - a - r.pdf"
}

@Article{ cooper, Author = "Cooper, D. C.", date-added = "2017-09-26 08:57:50 +0000", date-modified = "2017-09-26 08:59:08 +0000", Journal = "Machine Intelligence", Keywords = "Presburger arithmetic and quantifier elimination", Pages = "91--99", Title = "Theorem Proving in Arithmetic without Multiplication", Volume = "7", Year = "1972", File = "Cooper (0) - a - a - r.pdf" }