APA-Zitierstil (7. Ausg.)

CADE Online, Platzer, A., & Sutcliffe, G. (2021). Automated deduction - CADE 28: 28th International Conference on Automated Deduction, virtual event, July 12-15, 2021 : proceedings. Springer. https://doi.org/10.1007/978-3-030-79876-5

Chicago-Zitierstil (17. Ausg.)

CADE Online, André Platzer, und Geoff Sutcliffe. Automated Deduction - CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021 : Proceedings. Cham, Switzerland: Springer, 2021. https://doi.org/10.1007/978-3-030-79876-5.

MLA-Zitierstil (9. Ausg.)

CADE Online, et al. Automated Deduction - CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021 : Proceedings. Springer, 2021. https://doi.org/10.1007/978-3-030-79876-5.