John Abbott Victor Shoup Paul Zimmermann Factorization in ***[<i>x</i>]: the searching phase. 1-7 2000 ISSAC http://doi.acm.org/10.1145/345542.345560 db/conf/issac/issac2000.html#AbbottSZ00