On the complexity of proof systems (1995)

by X Fu