Volker Weispfenning: Mixed Real-Integer Linear Quantifier Elimination. ISSAC 1999: 129-136