A taxonomy of proof systems (1997)

by O GOLDREICH
Venue:In Complexity Theory Retrospective II, L. Hemaspaandra and