APA Style
Platzer, A.
(2021).
Automated Deduction – CADE 28
(
1)
.
:
Springer Nature.
MLA Style
Platzer, André.
"Automated Deduction – CADE 28".
1
:
Springer Nature,
2021.
Text.