Logic-Based Program Synthesis and Transformation - Hermenegildo (Springer International Publishing, 2017)