Gaya APA
Blanchette, J. et al (2022).
Automated Reasoning (Electronic Resource).
:
Springer International Publishing.
Gaya MLA
Blanchette, Jasmin. et al.
"Automated Reasoning".
Electronic Resource
:
Springer International Publishing,
2022.
Electronic Resource.