NC-RUE-NRF RESOLUTION
NC－RUE－NRF归结

This paper defines the method of NC-RUE-NRF resolution, and provesthe completeness of the deduction of using NC-RUE-NRF resolution for generalizedclauses set which contains equality.