W
[Wei99] Volker Weispfenning. Mixed Real-Integer Linear Quantifier Elimination. In ISSAC'99, pages 129-136. ACM Press, July 1999. 
@inproceedings{issac1999-Wei,
  author =              {Weispfenning, Volker},
  title =               {Mixed Real-Integer Linear Quantifier Elimination},
  booktitle =           {{P}roceedings of the 12th {I}nternational
                         {S}ymposium on {S}ymbolic and {A}lgebraic
                         {C}omputation ({ISSAC}'99)},
  acronym =             {{ISSAC}'99},
  publisher =           {ACM Press},
  pages =               {129-136},
  year =                {1999},
  month =               jul,
}
List of authors