Παραπομπή σε μορφή APA (7η εκδ.)

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

Παραπομπή σε μορφή Chicago (17η εκδ.)

Kroening, Daniel, και Ofer Strichman. Decision Procedures: An Algorithmic Point of View. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008.

Παραπομπή σε μορφή MLA (8th εκδ.)

Kroening, Daniel, και Ofer Strichman. Decision Procedures: An Algorithmic Point of View. Springer Berlin Heidelberg, 2008.