On the Deduction Rule and the Number of Proof Lines

Maria Luisa Bonet, Samuel R. Buss

Browse the full LICS paper archive.