The Deduction Rule and Linear and Near-linear Proof Simulations

by Maria Luisa Bonet , Samuel R. Buss
Citations:10 - 5 self