Approximate and optimal strategies for non-ambiguous and left linear term rewriting systemsby Ke LiWriting a summary for young readers…For young readersBook data: Open Library