control strategy for resolution refutation

• 对归结反演系统的控制策略