Every prime has a succinct certificate (1975)

by V R Pratt
Venue:SIAM Journal on Computing