中国科学院数学与系统科学研究院期刊网
系統■中可滿足性概念的代数处理
高恆珊
数学学报 . 1963, (1): 68 -77 .  DOI: 10.12386/A1963sxxb0008