"eBook ISBN","Title","Subtitle","Authors/editors","Copyright year","Edition","DOI","Price (EUR)","Additional info"
"978-3-642-31612-8","Theory and Applications of Satisfiability Testing -- SAT 2012","15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings","Alessandro Cimatti; Roberto Sebastiani",2012,"1","https://doi.org/10.1007/978-3-642-31612-8",100,""