Logic-based program synthesis and transformation : 24th international symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014 ; revised selected papers / Maurizio Proietti ...

(eds.)