The optimum prover lives (1986)

by P Feldman
Venue:in PSPACE. Manuscript