Logic-Based Program Synthesisby Bernd Fischer, Douglas R. SmithLogic programmingWriting a summary for young readers…For young readersBook data: Open Library