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