Almost all primes can be quickly certified (1986)

by S Goldwasser, J Kilian
Venue:Proc. 18th ACM Symp. Theory Comput