中国科学院数学与系统科学研究院期刊网
大、小E.C.结构的可判定性
沈恩绍
数学学报 . 1997, (3):  .  DOI: 10.12386/A1997sxxb0043