W
[Wei97] Volker Weispfenning. Complexity and Uhiformity of Elimination in Presburger Arithmetic. In ISSAC'97, pages 48-53. ACM Press, July 1997. 
@inproceedings{issac1997-Wei,
  author =              {Weispfenning, Volker},
  title =               {Complexity and Uhiformity of Elimination in
                         {P}resburger Arithmetic},
  editor =              {K{\"u}chlin, Wolfgang},
  booktitle =           {{P}roceedings of the 10th {I}nternational
                         {S}ymposium on {S}ymbolic and {A}lgebraic
                         {C}omputation ({ISSAC}'97)},
  acronym =             {{ISSAC}'97},
  publisher =           {ACM Press},
  pages =               {48-53},
  year =                {1997},
  month =               jul,
}
List of authors