Logic Program Synthesis and Transformationby Timothy P. Clement, Kung-Kiu LauWriting a summary for young readers…For young readersBook data: Open Library