Linear lower bounds and simulations in frege systems with substitutions | Publicación