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.