\bib{2003/cheng} \yr 2003 \by Qi Cheng \paper Primality proving via one round in ECPP and one iteration in AKS \url http://www.cs.ou.edu/~qcheng/pub.html \endref