"eBook ISBN","Title","Subtitle","Authors/editors","Copyright year","Edition","DOI","Price (EUR)","Additional info"
"978-3-031-10769-6","Automated Reasoning","11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings","Jasmin Blanchette; Laura Kovács; Dirk Pattinson",2022,"1","https://doi.org/10.1007/978-3-031-10769-6",,"Note: Open Access"