Blanchette, J., Kovács, L., & Pattinson, D. (2022). Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings. Cham: Springer International Publishing AG.
Chicago Style 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 International Publishing AG, 2022.
MLA 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 International Publishing AG, 2022.
Warning: These citations may not always be 100% accurate.