Logic Program Synthesis and TransformationTimothy P. Clement, Kung-Kiu Lau · First published 2013Open the Tome