共 85 条
[71]
SMOLIAR S, 1991, COMPUTER JUL, P54
[72]
STONE JV, 1993, ARTIF INTELL, P199
[74]
SUBRAMANIAN D, 1990, CHANGE REPRESENTATIO, P147
[75]
TENENBERG J, 1987, P IJCAI 87 MIL, P1011
[76]
TOELG S, 1994, 1494 MIT
[77]
ULLMAN JD, 1983, PRINCIPLES DATABASE, V1
[78]
ULLMAN JD, 1983, PRINCIPLES DATABASE, V2
[79]
van Dalen D., 2012, Logic and Structure