APA (7e ed.) Bronvermelding

International Conference on Automated Deduction. Automated deduction, CADE .. Springer Verlag.

Chicago (17e ed.) Bronvermelding

International Conference on Automated Deduction. Automated Deduction, CADE .. Berlin: Springer Verlag.

MLA (8e ed.) Bronvermelding

International Conference on Automated Deduction. Automated Deduction, CADE .. Springer Verlag.

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