"eBook ISBN","Title","Subtitle","Authors/editors","Copyright year","Edition","DOI","Price (EUR)","Additional info"
"978-3-030-45260-5","Logic-Based Program Synthesis and Transformation","29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers","Maurizio Gabbrielli",2020,"1","https://doi.org/10.1007/978-3-030-45260-5",100,""