A taxonomy of proof systems (1993)

by O GOLDREICH
Venue:SIGACT News, Complexity Theory Column, Two