Logic-Based Program Synthesis and TransformationFred Mesnard, Peter J. Stuckey · First published 2019Open the Tome