Automated Deduction : CADE 30by Clark Barrett, Uwe WaldmannWriting a summary for young readers…For young readersBook data: Open Library