中国科学院数学与系统科学研究院期刊网
Quantifiers Elimination and Complexity for the Theory of Groups of Prime Orders
Yun Fu SHEN
Acta Mathematica Sinica, Chinese Series . 2001, (1): 21 -28 .  DOI: 10.12386/A2001sxxb0004