VARIATIONS ON THE COMMON SUBEXPRESSION PROBLEM

[11] LIU L, 1978, 78351 CORN U COMP SC

[12] FAST DECISION PROCEDURES BASED ON CONGRUENCE CLOSURE [J]. JOURNAL OF THE ACM, 1980, 27 (02) : 356 - 364

[13] REASONING ABOUT RECURSIVELY DEFINED DATA-STRUCTURES [J]. JOURNAL OF THE ACM, 1980, 27 (03) : 403 - 427

[14] LINEAR UNIFICATION [J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1978, 16 (02) : 158 - 167

[15] Rose D. J., 1976, SIAM Journal on Computing, V5, P266, DOI 10.1137/0205021

[16] Sethi R., 1976, SIAM Journal on Computing, V5, P73, DOI 10.1137/0205005

[17] ALGORITHM FOR REASONING ABOUT EQUALITY [J]. COMMUNICATIONS OF THE ACM, 1978, 21 (07) : 583 - 585

[18] STORING A SPARSE TABLE [J]. COMMUNICATIONS OF THE ACM, 1979, 22 (11) : 606 - 611

[19] EFFICIENCY OF A GOOD BUT NOT LINEAR SET UNION ALGORITHM [J]. JOURNAL OF THE ACM, 1975, 22 (02) : 215 - 225

[20] TARSKI A., 1953, UNDECIDABLE THEORIES

[11] LIU L, 1978, 78351 CORN U COMP SC

[12] FAST DECISION PROCEDURES BASED ON CONGRUENCE CLOSURE [J]. JOURNAL OF THE ACM, 1980, 27 (02) : 356 - 364

[13] REASONING ABOUT RECURSIVELY DEFINED DATA-STRUCTURES [J]. JOURNAL OF THE ACM, 1980, 27 (03) : 403 - 427

[14] LINEAR UNIFICATION [J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1978, 16 (02) : 158 - 167

[15] Rose D. J., 1976, SIAM Journal on Computing, V5, P266, DOI 10.1137/0205021

[16] Sethi R., 1976, SIAM Journal on Computing, V5, P73, DOI 10.1137/0205005

[17] ALGORITHM FOR REASONING ABOUT EQUALITY [J]. COMMUNICATIONS OF THE ACM, 1978, 21 (07) : 583 - 585

[18] STORING A SPARSE TABLE [J]. COMMUNICATIONS OF THE ACM, 1979, 22 (11) : 606 - 611

[19] EFFICIENCY OF A GOOD BUT NOT LINEAR SET UNION ALGORITHM [J]. JOURNAL OF THE ACM, 1975, 22 (02) : 215 - 225

[20] TARSKI A., 1953, UNDECIDABLE THEORIES