(1999). The satisfiability problem. Elsevier.
Chicago-Zitierstil (17. Ausg.)The Satisfiability Problem. Amsterdam [u.a.]: Elsevier, 1999.
MLA-Zitierstil (9. Ausg.)The Satisfiability Problem. Elsevier, 1999.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.