共 8 条
[2]
Fuller S. H., 1973, ANAL ALPHA BETA PRUN
[5]
Nilsson N.J., 1971, PROBLEM SOLVING METH
[6]
SLAGLE J, 1969, J ACM, V2, P189
[7]
STOCKMAN G, TR538 U MAR COMP SCI
[8]
STOCKMAN G, 1977, THESIS U MARYLAND