中国科学院数学与系统科学研究院期刊网
证明优选法的最优性
陶化成
数学学报 . 1981, (5): 729 -730 .  DOI: 10.12386/A1981sxxb0077