Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers - Proietti, Maurizio; Seki, Hirohisa (Springer International Publishing : Imprint: Springer, 2015)