APA-Zitierstil (7. Ausg.)

(2006). Handbook of automated reasoning (1. ed., reprinted.). Elsevier [u.a.].

Chicago-Zitierstil (17. Ausg.)

Handbook of Automated Reasoning. 1. ed., reprinted. Amsterdam [u.a.]: Elsevier [u.a.], 2006.

MLA-Zitierstil (9. Ausg.)

Handbook of Automated Reasoning. 1. ed., reprinted. Elsevier [u.a.], 2006.