共 3 条
[1]
Karp R.M., 1969, J COMPUT SYST SCI, V3, P147
[2]
RABIN MO, 1959, IBM J RES, V3, P115
[3]
VALK R, 1977, THEORETICAL COMPUTER, V48