APA-Zitierstil (7. Ausg.)

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

Chicago-Zitierstil (17. Ausg.)

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

MLA-Zitierstil (9. Ausg.)

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