Andy King Logic-Based Program Synthesis and Transformation, 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers 4915 2008 978-3-540-78768-6 LOPSTR Lecture Notes in Computer Science Springer db/conf/lopstr/lopstr2007.html