Logic-Based Program Synthesis and Transformation - Maribel Fernández (Springer, 2021)