APA (7th ed.) Citation

SpringerLink (Online service), Platzer, A., & Sutcliffe, G. (2021). Automated Deduction - CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings (1st ed. 2021.). Springer International Publishing : Imprint: Springer. https://doi.org/10.1007/978-3-030-79876-5

Chicago Style (17th ed.) Citation

SpringerLink (Online service), André Platzer, and Geoff Sutcliffe. Automated Deduction - CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings. 1st ed. 2021. Cham: Springer International Publishing : Imprint: Springer, 2021. https://doi.org/10.1007/978-3-030-79876-5.

MLA (9th ed.) Citation

SpringerLink (Online service), et al. Automated Deduction - CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings. 1st ed. 2021. Springer International Publishing : Imprint: Springer, 2021. https://doi.org/10.1007/978-3-030-79876-5.