"eBook ISBN","Title","Subtitle","Authors/editors","Copyright year","Edition","DOI","Price (EUR)","Additional info"
"978-3-319-14125-1","Logic-Based Program Synthesis and Transformation","23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers","Gopal Gupta; Ricardo Peña",2014,"1","https://doi.org/10.1007/978-3-319-14125-1",94,""