Automated Reasoningby Alessandro Armando, Peter Baumgartner, Gilles DowekWriting a summary for young readers…For young readersBook data: Open Library