Παραπομπή APA

Hoos, H. H., & Mitchell, D. G. (2020). Theory and Applications of Satisfiability Testing. Springer Berlin Heidelberg.

Παραπομπή Chicago Style

Hoos, Holger H., και David G. Mitchell. Theory and Applications of Satisfiability Testing. Springer Berlin Heidelberg, 2020.

Παραπομπή MLA

Hoos, Holger H., και David G. Mitchell. Theory and Applications of Satisfiability Testing. Springer Berlin Heidelberg, 2020.

Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.