Title: Approximate and optimal strategies for non-ambiguous and left linear term rewriting systems