A Taxonomy of Proof Systems (1997)

by O Goldreich
Venue:In Complexity Theory Retrospective II