TRUTH MAINTENANCE SYSTEM

[1] LIST PROCESSING IN REAL-TIME ON A SERIAL COMPUTER [J]. COMMUNICATIONS OF THE ACM, 1978, 21 (04) : 280 - 294

[2] BELNAP ND, 1976, CONT ASPECTS PHILOSO

[3] BERLINER HJ, 1974, CHESS PROBLEM SOLVIN

[4] CHARNIAK E, 1979, ARTIFICIAL INTELLIGE

[5] COHEN PR, 1978, TR118 U TOR DEP COMP

[6] Colby K.M., 1973, COMPUTER MODELS THOU, P251

[7] COX PT, 1977, CS7728 U WAT DEP COM

[8] CROCKER SD, 1977, RR7761 U SO CAL INF

[9] DEKLEER J, 1979, THESIS MIT

[10] DEKLEER J, 1977, P ACM S ARTIFICIAL I

[1] LIST PROCESSING IN REAL-TIME ON A SERIAL COMPUTER [J]. COMMUNICATIONS OF THE ACM, 1978, 21 (04) : 280 - 294

[2] BELNAP ND, 1976, CONT ASPECTS PHILOSO

[3] BERLINER HJ, 1974, CHESS PROBLEM SOLVIN

[4] CHARNIAK E, 1979, ARTIFICIAL INTELLIGE

[5] COHEN PR, 1978, TR118 U TOR DEP COMP

[6] Colby K.M., 1973, COMPUTER MODELS THOU, P251

[7] COX PT, 1977, CS7728 U WAT DEP COM

[8] CROCKER SD, 1977, RR7761 U SO CAL INF

[9] DEKLEER J, 1979, THESIS MIT

[10] DEKLEER J, 1977, P ACM S ARTIFICIAL I