共 10 条
[6]
ROBINSON E, IN PRESS GEOMETRIC T
[8]
SCOWCROFT P, 1988, IN PRESS J SYMBOLIC, V53
[10]
Weispfenning V., 1976, ANN MATH LOGIC, V10, P59