Logic Based Program Synthesis and Transformation

Includes supplementary material: sn.pub/extras