An implementation of the knuth-bendix completion procedureby C. S. NgWriting a summary for young readers…For young readersBook data: Open Library