Olga Caprotti Martijn Oostdijk Formal and Efficient Primality Proofs by Use of Computer Algebra Oracles. 55-70 2001 32 J. Symb. Comput. 1/2 db/journals/jsc/jsc32.html#CaprottiO01