Citação norma APA

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

Citação norma Chicago

Newborn, Monty. Automated Theorem Proving: Theory and Practice. New York: Springer, 2001.

Citação norma MLA

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

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.