@TechReport{      Finkel:2008aa,
  Author        = "Finkel, Alain and Leroux, Jerome",
  date-added    = "2018-09-15 17:27:15 +0000",
  date-modified = "2018-09-15 17:27:38 +0000",
  Institution   = "LSV",
  Title         = "Presburger Functions are Piecewise Linear",
  Year          = "2008",
  File          = "rr-lsv-2008-08 (0) - a - a - b.pdf"
}

@TechReport{ Finkel:2008aa, Author = "Finkel, Alain and Leroux, Jerome", date-added = "2018-09-15 17:27:15 +0000", date-modified = "2018-09-15 17:27:38 +0000", Institution = "LSV", Title = "Presburger Functions are Piecewise Linear", Year = "2008", File = "rr-lsv-2008-08 (0) - a - a - b.pdf" }