%0 Journal Article
%T 广义horn集
%A 刘叙华？
%A 欧阳丹彤？
%J 软件学报
%P 248-256
%D 1995
%X 本文定义了广义ｈｏｒｎ集，并在广义ｈｏｒｎ集上证明了广义输入归结的完备性；广义输入对称调解的完备性；以及一定条件下的广义输入有向调解的完备性．文中还证明了广义调解法的提升引理．
%K 广义归结
%K 广义对称调解
%K 广义有向调解
%K 广义horn集
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19950408&flag=1