APA Style
Platzer, A., SUTCLIFFE, G. (2021).
Automated Deduction – CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings (1).
Cham:
Springer Cham.
MLA Style
Platzer, André., SUTCLIFFE, Geoff.
"Automated Deduction – CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings".
1
Cham:
Springer Cham,
2021.
Text.