@Article{         2012arXiv1211.0020W,
  Author        = "{Woods}, K.",
  adsnote       = "Provided by the SAO/NASA Astrophysics Data System",
  adsurl        = "http://adsabs.harvard.edu/abs/2012arXiv1211.0020W",
  ArchivePrefix = "arXiv",
  date-added    = "2018-09-10 15:49:49 +0000",
  date-modified = "2018-09-10 15:49:49 +0000",
  EPrint        = "1211.0020",
  Journal       = "ArXiv e-prints",
  Keywords      = "Mathematics - Combinatorics, Computer Science - Logic in Computer Science, Mathematics - Logic, 05A15, 52C07, 03B25, F.4.3, G.2.1, F.2.2",
  Month         = "October",
  PrimaryClass  = "math.CO",
  Title         = "{Presburger arithmetic, rational generating functions, and quasi-polynomials}",
  Year          = "2012",
  File          = "1211.0020v2 (0) - a - a - i.pdf"
}

@Article{ 2012arXiv1211.0020W, Author = "{Woods}, K.", adsnote = "Provided by the SAO/NASA Astrophysics Data System", adsurl = "http://adsabs.harvard.edu/abs/2012arXiv1211.0020W", ArchivePrefix = "arXiv", date-added = "2018-09-10 15:49:49 +0000", date-modified = "2018-09-10 15:49:49 +0000", EPrint = "1211.0020", Journal = "ArXiv e-prints", Keywords = "Mathematics - Combinatorics, Computer Science - Logic in Computer Science, Mathematics - Logic, 05A15, 52C07, 03B25, F.4.3, G.2.1, F.2.2", Month = "October", PrimaryClass = "math.CO", Title = "{Presburger arithmetic, rational generating functions, and quasi-polynomials}", Year = "2012", File = "1211.0020v2 (0) - a - a - i.pdf" }