Linear Lower Bounds and Simulations in Frege Systems with Substitutions.

Maria Luisa Bonet, Nicola Galesi

Browse the full CSL paper archive.