Παραπομπή σε μορφή APA (7η εκδ.)

Special Session on Automatic Theorem Proving, American Mathematical Society, Bledsoe, W. W., & Loveland, D. W. (1984). Automated theorem proving: After 25 years. American Mathematical Society.

Παραπομπή σε μορφή Chicago (17η εκδ.)

Special Session on Automatic Theorem Proving, American Mathematical Society, W. W. Bledsoe, και Donald W. Loveland. Automated Theorem Proving: After 25 Years. Providence, R.I.: American Mathematical Society, 1984.

Παραπομπή σε μορφή MLA (9th εκδ.)

Special Session on Automatic Theorem Proving, et al. Automated Theorem Proving: After 25 Years. American Mathematical Society, 1984.