APA-Zitierstil (7. Ausg.)

(1992). Automated deduction: CADE-11, Saratoga Springs, NY, USA, June 15 - 18, 1992 ; proceedings. Springer.

Chicago-Zitierstil (17. Ausg.)

Automated Deduction: CADE-11, Saratoga Springs, NY, USA, June 15 - 18, 1992 ; Proceedings. Berlin u.a: Springer, 1992.

MLA-Zitierstil (9. Ausg.)

Automated Deduction: CADE-11, Saratoga Springs, NY, USA, June 15 - 18, 1992 ; Proceedings. Springer, 1992.

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