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