Every prime has a succint certificate (1975)

by V Pratt
Venue:SIAM J. Comput