APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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