APA-Zitierstil (7. Ausg.)

CADE (International Conference on Automated Deduction) Lindau (Bodensee). (1998). Automated deduction - CADE-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5 - 10, 1998 ; proceedings. Springer.

Chicago-Zitierstil (17. Ausg.)

CADE (International Conference on Automated Deduction) Lindau (Bodensee). Automated Deduction - CADE-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5 - 10, 1998 ; Proceedings. Berlin [u.a.]: Springer, 1998.

MLA-Zitierstil (9. Ausg.)

CADE (International Conference on Automated Deduction) Lindau (Bodensee). Automated Deduction - CADE-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5 - 10, 1998 ; Proceedings. Springer, 1998.