%0 Journal Article
%T NC-RUE-NRF RESOLUTION<br>NC－RUE－NRF归结
%A Liu Xuhua
%A Sun Jigui
%A <br>刘叙华
%A 孙吉贵
%J 软件学报
%D 1995
%I 
%X 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.
%K RUE-NRF resolution
%K generalized RUE-NRF resolution
%K NC-RUE -NRF resolution<br>RUE－NRF归结
%K 广义
%K NC－RUE－NRF归结
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=D708A8670370053CBBD46EF100932CEC&yid=BBCD5003575B2B5F&vid=B31275AF3241DB2D&iid=0B39A22176CE99FB&sid=8BD23BD67BF01A5C&eid=68D88C2FCF9C3098&journal_id=1000-9825&journal_name=软件学报&referenced_num=1&reference_num=3