%0 Journal Article
%T 自动定理证明：十年回顾
%A 贲可荣 陈火旺？
%J 计算机科学
%D 1993
%K 定理证明器自动定理证明
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=1089988&flag=1