Cita APA (7a ed.)

Kroening, D., & Strichman, O. (2008). Decision Procedures: An Algorithmic Point of View (1st ed. 2008.). Springer Berlin Heidelberg : Imprint: Springer.

Cita Chicago Style (17a ed.)

Kroening, Daniel, y Ofer Strichman. Decision Procedures: An Algorithmic Point of View. 1st ed. 2008. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2008.

Cita MLA (8a ed.)

Kroening, Daniel, y Ofer Strichman. Decision Procedures: An Algorithmic Point of View. 1st ed. 2008. Springer Berlin Heidelberg : Imprint: Springer, 2008.