@Article{pratt1975certificate,
  Title                    = {Every prime has a succinct certificate},
  Author                   = {Pratt, Vaughan R},
  Journal                  = {SIAM Journal on Computing},
  Year                     = {1975},
  Number                   = {3},
  Pages                    = {214--220},
  Volume                   = {4},
  Publisher                = {SIAM},
}
