Logic-Based Program Synthesis and Transformation - Manuel V Hermenegildo, Pedro Lopez-Garcia (Springer, 2017)