Cita APA

Alan Bundy. (1994). Automated deduction CADE 12. Springer-Verlag.

Citación estilo Chicago

Alan Bundy. Automated Deduction CADE 12. Springer-Verlag, 1994.

Cita MLA

Alan Bundy. Automated Deduction CADE 12. Springer-Verlag, 1994.

Precaución: Estas citas no son 100% exactas.