DMCA

On the Deduction Rule and the Number of Proof Lines (Extended Abstract)

by Maria Luisa Bonet , Samuel R. Buss