中国科学院数学与系统科学研究院期刊网
The Classification of All Quantifier-Eliminable Treelike Partial Orderings with a Least Element
Ying Ying FU, Fu Xing SHEN
Acta Mathematica Sinica, Chinese Series . 2014, (6): 1171 -1180 .  DOI: 10.12386/A2014sxxb0107