@Article{         frigeri,
  Author        = "Choffrut, Christian and Frigeri, Achille",
  date-added    = "2020-03-03 15:59:39 +0100",
  date-modified = "2020-03-03 15:59:58 +0100",
  Journal       = "Discrete Mathematics \& Theoretical Computer Science",
  Month         = "01",
  Pages         = "21-38",
  Title         = "Deciding whether the ordering is necessary in a Presburger formula",
  Volume        = "12",
  Year          = "2010",
  File          = "Deciding whether the ordering is necessary in a Presburger formula - 2870 - a - a - t.pdf"
}

@Article{ frigeri, Author = "Choffrut, Christian and Frigeri, Achille", date-added = "2020-03-03 15:59:39 +0100", date-modified = "2020-03-03 15:59:58 +0100", Journal = "Discrete Mathematics \& Theoretical Computer Science", Month = "01", Pages = "21-38", Title = "Deciding whether the ordering is necessary in a Presburger formula", Volume = "12", Year = "2010", File = "Deciding whether the ordering is necessary in a Presburger formula - 2870 - a - a - t.pdf" }