Automated Reasoningby Christoph Benzmüller, Marijn Heule, Renate A. SchmidtWriting a summary for young readers…For young readersBook data: Open Library