Cita APA (7a ed.)

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

Cita Chicago Style (17a ed.)

Special Session on Automatic Theorem Proving, American Mathematical Society, W. W. Bledsoe, y Donald W. Loveland. Automated Theorem Proving: After 25 Years. Providence, Rhode Island: American Mathematical Society, 1985.

Cita MLA (9a ed.)

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