%0 Journal Article
%T 与替换和集合运算有关的错误*
%A 姜云飞
%A 程晓春
%J -
%D 1999
%X 指出在使用归结方法的自动推理文献中,存在于提升引理和删除策略完备性定理证明中,与替换和集合运算有关的几个错误,并予以分析和改正
%K 归结
%K 替换
%K 合一
%K 集合
%K 删除策略.
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=19990217&flag=1