Platzer, A., & Sutcliffe, G. (2021). Automated Deduction - CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings. Springer Nature.
Chicago Style (17th ed.) CitationPlatzer, André, and Geoff Sutcliffe. Automated Deduction - CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings. Springer Nature, 2021.
MLA (9th ed.) CitationPlatzer, André, and Geoff Sutcliffe. Automated Deduction - CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings. Springer Nature, 2021.
Warning: These citations may not always be 100% accurate.