Logic-based program synthesis and transformation : 24th international symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014 ; revised selected papers / Maurizio Proietti ... (eds.). Cham [u.a.] : Springer, 2015