Citação norma APA

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

Citação norma Chicago

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

Citação norma MLA

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

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.