共 10 条
[1]
BERNSTEIN PA, 1981, COMPUT SURV, V13, P185, DOI 10.1145/356842.356846
[2]
BUCHI JR, 1962, INT C LOGIC METHOD P
[3]
CORI R, UNPUB RAIRO INFORM T
[4]
Dijkstra E., 1971, ACTA INFORM, V1, P115, DOI DOI 10.1007/BF00289519
[6]
FLE MP, 1982, ACM SIGACT SIGOPS, P194
[7]
Karp R. M., 1969, J COMP SYST SCI, V3, P147, DOI DOI 10.1016/S0022-0000(69)80011-5
[9]
PAPADIMITRIOU CH, 1977, P C THEORETICAL COMP, P272
[10]
ROUCAIROL GP, 1978, RAIRO-INF-COMPUT SCI, V12, P277