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