共 62 条
[1]
Bachmair L., 1986, Proceedings of the Symposium on Logic in Computer Science (Cat. No.86CH2321-8), P346
[2]
BACHMAIR L, 1988, THESIS U ILLINOIS UR
[3]
BACHMAIR L, 1987, 2ND P C REWR TECHN A
[4]
BURSTALL RM, 1980, 1980 C REC LISP C, P136
[5]
CUNNINGHAM RJ, 1983, REWRITE SYSTEMS LATT
[9]
DERSHOWITZ N, 1988, MACH INTELL, V11, P21
[10]
DICK AJJ, 1985, P EUROCA C