Blanchette, J., Kovács, L., & Pattinson, D. (2022). Automated reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings. Springer Nature.
Chicago Style (17th ed.) CitationBlanchette, Jasmin, Laura Kovács, and Dirk Pattinson. Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings. Cham: Springer Nature, 2022.
MLA (9th ed.) CitationBlanchette, Jasmin, et al. Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings. Springer Nature, 2022.
Warning: These citations may not always be 100% accurate.
