Choffrut, C., & Frigeri, A. (2010). Deciding whether the ordering is necessary in a Presburger formula. Discrete Mathematics & Theoretical Computer Science.
Chicago Style (17th ed.) CitationChoffrut, Christian, and Achille Frigeri. Deciding Whether the Ordering Is Necessary in a Presburger Formula. Discrete Mathematics & Theoretical Computer Science, 2010.
MLA (9th ed.) CitationChoffrut, Christian, and Achille Frigeri. Deciding Whether the Ordering Is Necessary in a Presburger Formula. Discrete Mathematics & Theoretical Computer Science, 2010.
Warning: These citations may not always be 100% accurate.