中国科学院数学与系统科学研究院期刊网
AMS
Splitting Recursively Enumerable Subalgebras in Recursive Boolean Algebras
Shi Niandong
Acta Mathematica Sinica . 1988, (1): 14 -17 .  DOI: 10.1007/BF02560308