Download Logic-Based Program Synthesis And Transformation: 25Th International Symposium, Lopstr 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers