Logic-Based Program Synthesis and Transformation 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers - King, Andy (Springer Berlin Heidelberg : Imprint: Springer, 2008)