APA (7th ed.) Citation

Kroening, D., & Strichman, O. (2008). Decision procedures: An algorithmic point of view. Springer. https://doi.org/10.1007/978-3-540-74105-3

Chicago Style (17th ed.) Citation

Kroening, Daniel, and Ofer Strichman. Decision Procedures: An Algorithmic Point of View. Berlin: Springer, 2008. https://doi.org/10.1007/978-3-540-74105-3.

MLA (9th ed.) Citation

Kroening, Daniel, and Ofer Strichman. Decision Procedures: An Algorithmic Point of View. Springer, 2008. https://doi.org/10.1007/978-3-540-74105-3.