Trích dẫn APA

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

Trích dẫn kiểu Chicago

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

Trích dẫn MLA

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

Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.