Logic-Based Program Synthesis and Transformation - Fioravanti; John P. Gallagher; Gallagher, John P. (Springer International Publishing, 2018)