支持集策略对参加归结的子句提出了什么限制?
出自:计算机科学