Cita APA (7a ed.)

International Conference on Automated Deduction (14a & McCune, W. (1997). Automated deduction, CADE-14: 14 th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings. Springer-Verlag.

Cita Chicago Style (17a ed.)

International Conference on Automated Deduction (14a y W. McCune. Automated Deduction, CADE-14: 14 Th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : Proceedings. Berlin [etc.]: Springer-Verlag, 1997.

Cita MLA (9a ed.)

International Conference on Automated Deduction (14a y W. McCune. Automated Deduction, CADE-14: 14 Th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : Proceedings. Springer-Verlag, 1997.