广义RUE—NRF归结

本文将RUE－NRF归结使用在广义子句集上，提出了广义RUE－NRF归结方法，并证明了这一方法对于一阶逻辑的完备性，将I型，2型删除策略引入广义RUE－NRF归结。