Almost all primes can be quickly certified (1986)

by S Goldwasser, J Kilian
Venue:In Proc. 18th Annual ACM Sympos, on Theory of Computing (STOC, Berke ley