"eBook ISBN","Title","Subtitle","Authors/editors","Copyright year","Edition","DOI","Price (EUR)","Additional info"
"978-3-031-38499-8","Automated Deduction – CADE 29","29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings","Brigitte Pientka; Cesare Tinelli",2023,"1","https://doi.org/10.1007/978-3-031-38499-8",,"Note: Open Access"