APA-Zitierstil (7. Ausg.)

International Conference on Automated Deduction Argonne, Ill. (1988). Ninth 9th International Conference on Automated Deduction: Argonne, Ill., USA, May 23 - 26, 1988 ; proceedings. Springer. https://doi.org/10.1007/BFb0012819

Chicago-Zitierstil (17. Ausg.)

International Conference on Automated Deduction Argonne, Ill. Ninth 9th International Conference on Automated Deduction: Argonne, Ill., USA, May 23 - 26, 1988 ; Proceedings. Berlin u.a: Springer, 1988. https://doi.org/10.1007/BFb0012819.

MLA-Zitierstil (9. Ausg.)

International Conference on Automated Deduction Argonne, Ill. Ninth 9th International Conference on Automated Deduction: Argonne, Ill., USA, May 23 - 26, 1988 ; Proceedings. Springer, 1988. https://doi.org/10.1007/BFb0012819.