Penggayaan APA

Hoos, Holger H., Mitchell, David G., SpringerLink (Online service). (). Theory and Applications of Satisfiability Testing (1st ed. 2005.). : .

Chicago Style

Hoos, Holger H., Mitchell, David G., SpringerLink (Online service). Theory and Applications of Satisfiability Testing. 1st ed. 2005. : , . E Book.

MLA Style

Hoos, Holger H., Mitchell, David G., SpringerLink (Online service). Theory and Applications of Satisfiability Testing. 1st ed. 2005. : , . E Book.

Turabian Style

Hoos, Holger H., Mitchell, David G., SpringerLink (Online service). Theory and Applications of Satisfiability Testing. 1st ed. 2005. : , . E Book.