中国科学院数学与系统科学研究院期刊网
Heyting System and Its H-Localification
Hong Bo WU, Hui Jun SHI
Acta Mathematica Sinica, Chinese Series . 2012, (6): 1119 -1130 .  DOI: 10.12386/A2012sxxb0108