Volker Weispfenning Complexity and Uniformity of Elimination in Presburger Arithmetic. 48-53 1997 ISSAC db/conf/issac/issac97.html#Weispfenning97