%0 Journal Article
%T nc－rue－nrf归结
%A 刘叙华？
%A 孙吉贵？
%J 软件学报
%P 65-68
%D 1995
%X 本文提出了ｎｃ－ｒｕｅ－ｎｒｆ归结方法，并证明了它在含有等词广义子句集上的完备性．
%K rue－nrf归结
%K 广义rue－nrf归结
%K nc－rue－nrf归结
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19950201&flag=1