APA Zitierstil

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

Chicago Zitierstil

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

MLA Zitierstil

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

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.