共 20 条
[1]
Aho Alfred V., 1979, 6TH P ACM S PRINC PR, P110
[2]
[Anonymous], 1982, PRINCIPLES DATABASE
[3]
CHANDRA AK, 1982, P PODS 82, P158
[4]
CHANG CL, 1979, FORMAL BASES DATA BA
[5]
Clark K. L., 1978, Logic and data bases, P293
[6]
GALLAIRE H, 1978, LOGIC DATABASES
[7]
GENESERETH MR, 1983, HPP8328 STANF U DEP
[10]
NAISH L, 1983, TR836 U MELB DEP COM