通代算法的英文翻译
中文:通代算法
英文翻译:【计】 unification algorithm