ZZhe xue wen daZhe xue wen dade Ke LiEdiciones (1)Zhe xue wen da (1983)Jiangxi ren min chu ban she · chinoMás obras de Ke LiApproximate and optimal strategies for non-ambiguous and left linear term rewriting systemsChen Gongbo (Zhong gong yi da dai biao cong shu)Complexity of term rewriting