Weispfenning, V. (1999). Mixed real integer linear quantifier elimination (Extended version.). Univ.
Chicago-Zitierstil (17. Ausg.)Weispfenning, Volker. Mixed Real Integer Linear Quantifier Elimination. Extended version. Passau: Univ, 1999.
MLA-Zitierstil (9. Ausg.)Weispfenning, Volker. Mixed Real Integer Linear Quantifier Elimination. Extended version. Univ, 1999.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.