SpringerLink (Online service), Mitchell, D. G., & Hoos, H. H. Theory and applications of satisfiability testing (vol. # 3542): 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers.
Չիկագոյի ոճի (17րդ խմբ.) մեջբերումSpringerLink (Online service), David G. Mitchell, and Holger H. Hoos. Theory and Applications of Satisfiability Testing (vol. # 3542): 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers.
MLA (8րդ խմբ.) ՄեջբերումSpringerLink (Online service), et al. Theory and Applications of Satisfiability Testing (vol. # 3542): 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers.
Զգուշացում. այս մեջբերումները միշտ չէ, որ կարող են 100% ճշգրիտ լինել.