The optimal prover lives (1986)

by P Feldman