共 28 条
[11]
GELFOND M, 1988, ICLP SLP, P1070
[13]
GRECO G, 2001, ICLP
[14]
Querying inconsistent databases
[J].
LOGIC FOR PROGRAMMING AND AUTOMATED REASONING, PROCEEDINGS,
2000, 1955
:308-325
[15]
GRECO S, 1990, NACLP C, P480
[16]
KANELLAKIS PC, 1991, HDB THEORETICAL COMP, V2
[17]
KIFER M, 1988, LECT NOTES COMPUT SC, V326, P102
[18]
Kowalski R. A., 1991, New Generation Computing, V9, P387, DOI 10.1007/BF03037170
[19]
LIN J, 1999, DYNAMIC WORLDS FRAME