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)