APA-Zitierstil (7. Ausg.)

Newborn, M. (2001). Automated Theorem Proving: Theory and Practice. Springer New York. https://doi.org/10.1007/978-1-4613-0089-2

Chicago-Zitierstil (17. Ausg.)

Newborn, Monty. Automated Theorem Proving: Theory and Practice. New York, NY: Springer New York, 2001. https://doi.org/10.1007/978-1-4613-0089-2.

MLA-Zitierstil (9. Ausg.)

Newborn, Monty. Automated Theorem Proving: Theory and Practice. Springer New York, 2001. https://doi.org/10.1007/978-1-4613-0089-2.