%0 Journal Article
%T 输入调解法和单元调解法在Horn集上的完备性
%A 刘叙华
%A 孙吉贵
%A 欧阳丹彤
%J -
%D 1993
%X 本文证明了调解法的提升引理,以及输入调解法对Horn集的完备性,进而证出了单元调解法对Horn集的完备性
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=19930102&flag=1