APA-Zitierstil (7. Ausg.)

Anai, H., & Weispfenning, V. (2000). Reach set computations using real quantifier elimination.

Chicago-Zitierstil (17. Ausg.)

Anai, Hirokazu, und Volker Weispfenning. Reach Set Computations Using Real Quantifier Elimination. Passau, 2000.

MLA-Zitierstil (9. Ausg.)

Anai, Hirokazu, und Volker Weispfenning. Reach Set Computations Using Real Quantifier Elimination. 2000.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.