%0 Journal Article
%T co—logic：一种支持约束演绎oodb语言的多类型逻辑
%A 张奠成 李修华？
%J 计算机科学
%D 1996
%K oodb语言约束演绎多类型逻辑
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=2109501&flag=1