Every Prime has a Succinct Certificate (1975)

by V R Pratt
Venue:SIAM J. Computing