APA Citatie

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

Chicago Style citaat

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

MLA citatie

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

Let op: Deze citaties zijn niet altijd 100% accuraat.