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