Complexity and Uniformity of Elimination in Presburger Arithmetic.

Volker Weispfenning

Browse the full ISSAC paper archive.