共 7 条
[1]
Araujo J., P ROYAL SOC IN PRESS
[2]
Clifford A. H., 1961, MATH SURVEYS, V7
[3]
FOUNTAIN J, 1982, P LOND MATH SOC, V44, P103
[5]
Kambites M., J AUST MATH IN PRESS
[7]
McCune W., 2009, PROVER9 MACE4 VERSIO