Style de citation APA

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

Style de citation Chicago

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

Style de citation MLA

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

Attention : ces citations peuvent ne pas être correctes à 100%.