APA-Zitierstil (7. Ausg.)

(1994). Automated deduction - CADE-12: 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994 ; proceedings. Springer.

Chicago-Zitierstil (17. Ausg.)

Automated Deduction - CADE-12: 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994 ; Proceedings. Berlin [u.a.]: Springer, 1994.

MLA-Zitierstil (9. Ausg.)

Automated Deduction - CADE-12: 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994 ; Proceedings. Springer, 1994.