Machine Program for Theorem-Provingby Martin Davis, George Logemann, Donald LovelandWriting a summary for young readers…For young readersBook data: Open Library