APA (7th ed.) Citation

Dolzmann, A. (2000). Algorithmic strategies for applicable real quantifier elimination.

Chicago Style (17th ed.) Citation

Dolzmann, Andreas. Algorithmic Strategies for Applicable Real Quantifier Elimination. Passau, 2000.

MLA (9th ed.) Citation

Dolzmann, Andreas. Algorithmic Strategies for Applicable Real Quantifier Elimination. 2000.

Warning: These citations may not always be 100% accurate.