APA (7th ed.) Citation

Caviness, B. F., & Johnson,Jeremy R. (1998). Quantifier elimination and cylindrical algebraic decomposition. Springer.

Chicago Style (17th ed.) Citation

Caviness, Bob F., and Johnson,Jeremy R. Quantifier Elimination and Cylindrical Algebraic Decomposition. New York: Springer, 1998.

MLA (9th ed.) Citation

Caviness, Bob F., and Johnson,Jeremy R. Quantifier Elimination and Cylindrical Algebraic Decomposition. Springer, 1998.

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