共 15 条
[1]
ANGLUIN D, 1980, 12TH P ANN ACM S THE, P82
[3]
ATTIYA H, 1985, UCSCCRL853 U CAL COM
[4]
BURNS JE, 1980, 91 IND U COMP SCI DE
[6]
Ehrenfeucht A., 1975, Theoretical Computer Science, V1, P59, DOI 10.1016/0304-3975(75)90012-2
[9]
ITAI A, UNPUB CIRCULAR EXTRE
[10]
MORAN S, 1986, UCSCCRL861 U CAL COM