%0 Journal Article %T 演绎数据库和逻辑程序中的否定 %A 周傲英 施伯乐? %J 计算机科学 %D 1996 %K 演绎数据库逻辑程序数据库 %U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=2368135&flag=1