@Article{         Lipshitz:Diophantine:1978,
  Author        = "Lipshitz, Leonard",
  Abstract      = "An algorithm is given for deciding existential formulas involving addition and the divisibility relation over the natural numbers.",
  copyright     = "Copyright {\copyright} 1978 American Mathematical Society",
  date-added    = "2015-10-26 14:31:40 +0000",
  date-modified = "2015-10-26 14:32:45 +0000",
  ISSN          = "00029947",
  Journal       = "Transactions of the American Mathematical Society",
  jstor_articletype="research-article",
  jstor_formatteddate="Jan., 1978",
  Language      = "English",
  Pages         = "pp. 271-283",
  Publisher     = "American Mathematical Society",
  Title         = "The Diophantine Problem for Addition and Divisibility",
  URL           = "http://www.jstor.org/stable/1998219",
  Volume        = "235",
  Year          = "1978",
  bdsk-url-1    = "http://www.jstor.org/stable/1998219",
  File          = "The Diophantine Problem for Addition and Divisibility - Lipshitz (0) (0) - a - a - u.pdf"
}

@Article{ Lipshitz:Diophantine:1978, Author = "Lipshitz, Leonard", Abstract = "An algorithm is given for deciding existential formulas involving addition and the divisibility relation over the natural numbers.", copyright = "Copyright {\copyright} 1978 American Mathematical Society", date-added = "2015-10-26 14:31:40 +0000", date-modified = "2015-10-26 14:32:45 +0000", ISSN = "00029947", Journal = "Transactions of the American Mathematical Society", jstor_articletype="research-article", jstor_formatteddate="Jan., 1978", Language = "English", Pages = "pp. 271-283", Publisher = "American Mathematical Society", Title = "The Diophantine Problem for Addition and Divisibility", URL = "http://www.jstor.org/stable/1998219", Volume = "235", Year = "1978", bdsk-url-1 = "http://www.jstor.org/stable/1998219", File = "The Diophantine Problem for Addition and Divisibility - Lipshitz (0) (0) - a - a - u.pdf" }