Logic-Based Program Synthesis and Transformation - Hermenegildo, Manuel V (Springer International Publishing, 2020)