APA Style
Pattinson, D. et al
(2022).
Automated reasoning
.
Cham, Switzerland:
Springer Cham.
MLA Style
Pattinson, Dirk. et al.
"Automated reasoning".
Cham, Switzerland:
Springer Cham,
2022.
Text.