共 12 条
[3]
BERGSTRA JA, 1980, B EATCS, V11, P23
[4]
GOGUEN JA, 1985, ALGEBRAIC METHODS SE, P459
[5]
MALCEV AI, 1961, RUSS MATH SURV, V16, P77
[7]
Meinke K., 1993, Many-sorted logic and its applications, P135
[8]
Meinke K., 1992, HDB LOGIC COMPUTER S, VI, P189
[9]
MOLLER B, 1988, LECT NOTES COMPUT SC, V332, P154
[10]
MOLLER B, 1987, THESIS TU MUNCHEN