26th International Symposium on
Logic-Based Program Synthesis and Transformation
LOPSTR 2016

Edinburgh, Scotland UK
September 6-8, 2016

Co-located with PPDP 2016 and SAS 2016

LOPSTR 2016 Accepted Papers