Citação norma APA

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

Citação norma Chicago

Hoos, Holger H., và David G. Mitchell. Theory and Applications of Satisfiability Testing. Springer Berlin Heidelberg, 2020.

Citação norma MLA

Hoos, Holger H., và David G. Mitchell. Theory and Applications of Satisfiability Testing. Springer Berlin Heidelberg, 2020.

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.