Approximate and optimal strategies for non-ambiguous and left linear term rewriting systems | lit.salon