APA Style
BLANCHETTE, J.
(2022).
Automated Reasoning
(
1)
.
Cham:
Springer Nature.
MLA Style
BLANCHETTE, Jasmin.
"Automated Reasoning".
1
Cham:
Springer Nature,
2022.
Text.