Algorithmic Quantifier Elimination and Its Upper Bound for the Theory of Groups of Prime Orders

• 素数阶群理论的量词消去算法及其上界