APA-viite (7. p.)

(2009). Handbook of satisfiability / edited by Armin Biere ... [et al.].

Chicago-viite (17. p.)

Handbook of Satisfiability / Edited by Armin Biere ... [et Al.]. 2009.

MLA-viite (9. p.)

Handbook of Satisfiability / Edited by Armin Biere ... [et Al.]. 2009.