A taxonomy of proof systems (1997)

by O Goldreich
Venue:Complexity Theory Retrospective II