Cita APA (7a ed.)

Biere, A., Heule, M., & Maaren, H. v. (2021). Handbook of satisfiability (Second edition.). IOS Press.

Cita Chicago Style (17a ed.)

Biere, Armin, Marijn Heule, y Hans van Maaren. Handbook of Satisfiability. Second edition. Amsterdam: IOS Press, 2021.

Cita MLA (8a ed.)

Biere, Armin, et al. Handbook of Satisfiability. Second edition. IOS Press, 2021.