International Conference on Automated Deduction Argonne, Ill, & Lusk, E. (1988). 9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23 - 26, 1988 ; proceedings. Springer.
Chicago-Zitierstil (17. Ausg.)International Conference on Automated Deduction Argonne, Ill, und Ewing Lusk. 9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23 - 26, 1988 ; Proceedings. Berlin [u.a.]: Springer, 1988.
MLA-Zitierstil (9. Ausg.)International Conference on Automated Deduction Argonne, Ill, und Ewing Lusk. 9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23 - 26, 1988 ; Proceedings. Springer, 1988.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.