APA Style
Platzer, A., Sutcliffe,Geoff, .
(2021).
Automated Deduction – CADE 28
.
:
Cham, Switzerland.
MLA Style
Platzer, André., Sutcliffe,Geoff, .
"Automated Deduction – CADE 28".
:
Cham, Switzerland,
2021.
Text.