调解法的英文翻译

中文:调解法

英文翻译:【计】 paramodulation