Almost all primes can be quickly certi (1986)

by S Goldwasser, J Kilian
Venue:Proceedings of 18th Annual IEEE Symposium on Foundations of Computer Science