APA stil citiranja

Newborn, M. (2001). Automated theorem proving: Automated theorem proving : theory and practice. New York: Springer.

Chicago stil citiranja

Newborn, Monroe. Automated theorem proving: Automated theorem proving : theory and practice. New York: Springer, 2001.

MLA stil citiranja

Newborn, Monroe. Automated theorem proving: Automated theorem proving : theory and practice. New York: Springer, 2001.

Napomena: Ova citiranost nije uvijek 100% točna.