APA način citiranja

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

Čikaški stil citiranja

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

MLA način citiranja

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

Upozorenje: Ovi citati možda nisu uvijek 100% točni.