APA (7th ed.) Citation

Newborn, M. (2001). Automated theorem proving: Theory and practice. Springer.

Chicago Style (17th ed.) Citation

Newborn, Monroe. Automated Theorem Proving: Theory and Practice. New York [u.a.]: Springer, 2001.

MLA (9th ed.) Citation

Newborn, Monroe. Automated Theorem Proving: Theory and Practice. Springer, 2001.