Completeness, confluence, and related properties of clause graph resolutionby Norbert EisingerArtificial intelligenceGraph theoryWriting a summary for young readers…For young readersBook data: Open Library