APA Style

BLANCHETTE, J. et al (2022). Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings (1). Cham: Springer Cham.

MLA Style

BLANCHETTE, Jasmin. et al. "Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings". 1 Cham: Springer Cham, 2022. Text.