共 15 条
[1]
BRADFIELD J, 1990, LECT NOTES COMPUT SC, V458, P115
[2]
BRADFIELD JC, 1991, LECT NOTES COMPUT SC, V524, P29, DOI 10.1007/BFb0019967
[3]
DAM MF, IN PRESS 1992 P CAAP
[4]
Emerson E. Allen, 1986, LICS, P267
[5]
Fitting M. C., 1983, SYNTHESE LIB, V169
[9]
MANNA Z, 1989, LECT NOTES COMPUT SC, V354, P201, DOI DOI 10.1007/BFB0013024
[10]
Pratt V. R., 1981, 22nd Annual Symposium on Foundations of Computer Science, P421, DOI 10.1109/SFCS.1981.4