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

Kroening, D., & Strichman, O. (2016). Decision Procedures: An Algorithmic Point of View (2nd ed. 2016.). Springer Berlin Heidelberg : Imprint: Springer.

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

Kroening, Daniel, και Ofer Strichman. Decision Procedures: An Algorithmic Point of View. 2nd ed. 2016. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2016.

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

Kroening, Daniel, και Ofer Strichman. Decision Procedures: An Algorithmic Point of View. 2nd ed. 2016. Springer Berlin Heidelberg : Imprint: Springer, 2016.