On the difficulty of finding reliable witnesses (1994)

by W R Alford, A Granville, C Pomerance
Venue:In Algorithmic number theory