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

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