%0 Journal Article
%T 允许修改推理规则的开放逻辑
%A 应明生
%J 科学通报
%P 970-972
%D 1996
%K 开放逻辑
%K 推理规则
%K 重构
%U http://csb.scichina.com:8080/CN/abstract/abstract364059.shtml