共 27 条
[1]
Aho Alfred V., 1979, 6TH P ACM S PRINC PR, P110
[2]
BESHERS G, 1985, JUN P SIGPLAN 85 S L, P93
[3]
Chandra A. K., 1981, P ACM S PRINC PROGR, P50
[4]
Clocksin W. F., 1981, PROGRAMMING PROLOG
[5]
CODD EF, 1970, COMMUN ACM, V13, P377, DOI 10.1145/357980.358007
[6]
DEMERS A, 1985, JUN P ACM SIGPLAN 85, P43
[7]
DONZEAUGOUGE V, 1980, INRIA26 RAPP RECH
[8]
FREUDENBERGER S, 1984, THESIS COURANT I MAT
[9]
GILLETT WD, 1977, THESIS U ILLINOIS UR
[10]
JOHNSON GF, 1983, THESIS U WISCONSIN M