共 28 条
[1]
[Anonymous], SYMBOLIC LOGIC MECHA
[2]
[Anonymous], 1990, SURVEYS COMPUTER SCI
[3]
Clocksin W. F., 1981, PROGRAMMING PROLOG
[4]
Gallaire Herve, 1978, LOGIC DATA BASES
[5]
Garey MR., 1979, COMPUTERS INTRACTABI
[9]
Johnson D. S., 1990, HDB THEORETICAL COMP, VA
[10]
JOYNER WH, 1976, J ACM, V23, P398, DOI 10.1145/321958.321960