Quantifiers Elimination and Complexity for the Theory of Groups of Prime Orders

• 素数阶群理论的量词消去及复杂性