The deduction rule and linear and near-linear proof simulations (1993)

by M L Bonet, S R Buss
Venue:The Journal of Symbolic Logic