中国科学院数学与系统科学研究院期刊网
完全二叉树的量词消去
刘吉强;廖东升;罗里波
Quantifier Elimination for Complete Binary Trees
Ji Qiang LIU(1),Dong Sheng LIA
数学学报 . 2003, (1): 95 -102 .  DOI: 10.12386/A2003sxxb0013