Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers - Fioravanti, Fabio; Fioravanti, Fabio; Gallagher, John P.; Gallagher, John P. (Springer International Publishing : Imprint: Springer, 2018)