中国科学院数学与系统科学研究院期刊网
Well-Formed Normal Forms in Intermediate Logics
Heng ZHANG(1); Ming Yi ZHANG(2
Acta Mathematica Sinica, Chinese Series . 2008, (1): 181 -190 .  DOI: 10.12386/A2008sxxb0022