Michael Hanus Logic-Based Program Synthesis and Transformation, 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers 5438 2009 http://dx.doi.org/10.1007/978-3-642-00515-2 978-3-642-00514-5 LOPSTR Lecture Notes in Computer Science Springer db/conf/lopstr/lopstr2008.html