Logic-Based Program Synthesis and Transformation 23rd International Symposium, Lopstr 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers by Gopal Gupta | Menrva Books | MenrvaBooks