%0 Journal Article
%T First-Order Disunification<br>一阶反合一研究
%A XU Man-wu
%A PAN Guang-rui
%A ZHOU Rong-guo
%A SONG Xiao-liang
%A LIU Dong-sheng
%A <br>许满武
%A 潘光睿
%A 周荣国
%A 宋晓梁
%A 刘东升
%J 软件学报
%D 1999
%I 
%X 文章讨论一阶反合一问题以及求反合一子完备集的算法.在合一问题中,有多种求解合一问题的方法,其中研究得较为彻底的是用转换规则进行求解的方法.在研究反合一问题的过程中,人们也陆续提出了许多转换规则,这样做的结果是最终给出的是已解出形.该文在已解出形的基础上讨论一种方法，以给出具体解的完备集（反合一子完备集）.通过引入Gθ和Z函数，使求解更为方便、直观.
%K Disunification
%K disunifier
%K most general disunifier
%K complete set of disunifiers<br>反合一
%K 反合一子
%K 最一般反合一子
%K 反合一子完备集.
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=3B8EB4F7BA03D6A3&yid=B914830F5B1D1078&vid=F3090AE9B60B7ED1&iid=DF92D298D3FF1E6E&sid=34A7AB0452E6AF23&eid=E3691231514F8E11&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=4