%0 Journal Article
%T 三种归结原理间的相容性问题
%A 刘叙华？
%J 软件学报
%P 60-64
%D 1992
%X 语义归结、锁归结、线性归结是三种重要的关于归结原理的改进。本文给出如下结果:语义归结和锁归结在某种条件下是相容的;语义归结和线性归结是不相容的;线性归结和锁归结在某种条件下是相容的。显然,任意两种归结的相容方法是对原来两种归结方法的进一步改进。
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19920209&flag=1