completeness of resolution refutation strategy [计] 归结反演策略的完整性
control strategy for resolution refutation [自] 对归结反演系统的控制策略
应用推荐
模块上移
模块下移
不移动