APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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 (9th ed.) Citation

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