共 32 条
[1]
ALLEN JF, 1983, 8TH P INT JOINT C AR, P741
[2]
BISCHOFF MB, 1983, 7TH P ANN S COMP APP, P149
[9]
Friedland P. E., 1985, Journal of Automated Reasoning, V1, P161, DOI 10.1007/BF00244995
[10]
GEORGEFF MP, 1985, 9TH P INT JOINT C AR, P516