Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers - Hermenegildo, Manuel V.; Lopez-Garcia, Pedro (Springer International Publishing : Imprint: Springer, 2017)