%0 Journal Article
%T 一个新的时序推理系统trs
%A 丁占鳌？
%J 计算机科学
%D 1993
%K 时序推理trs推理系统
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=1089978&flag=1