APA citiranje

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

Chicago Edition Citation

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

MLA citiranje

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

Opozorilo: Ti citati niso vedno 100% točni.