Logic-Based Program Synthesis and Transformation - Fred Mesnard, Peter J. Stuckey (Springer, 2019)