APA Style
BLANCHETTE, J., KOVACS, L. (2022).
Automated Reasoning; 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings .
Heidelberg, Jerman:
Springer International Publishing.
MLA Style
BLANCHETTE, Jasmin., KOVACS, Laura.
"Automated Reasoning; 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings".
Heidelberg, Jerman:
Springer International Publishing,
2022.
Text.