APA-Zitierstil (7. Ausg.)

Blanchette, J., Kovács, L., & Pattinson, D. (2022). Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings (1.). Springer Nature. https://doi.org/10.1007/978-3-031-10769-6

Chicago-Zitierstil (17. Ausg.)

Blanchette, Jasmin, Laura Kovács, und Dirk Pattinson. Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings. 1. Cham: Springer Nature, 2022. https://doi.org/10.1007/978-3-031-10769-6.

MLA-Zitierstil (9. Ausg.)

Blanchette, Jasmin, et al. Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings. 1. Springer Nature, 2022. https://doi.org/10.1007/978-3-031-10769-6.