中国科学院数学与系统科学研究院期刊网
Quantifier Elimination for Complete Binary Trees
Ji Qiang LIU(1),Dong Sheng LIA
Acta Mathematica Sinica, Chinese Series . 2003, (1): 95 -102 .  DOI: 10.12386/A2003sxxb0013