On Rules and Parameter Free Systems in Bounded Arithmetic | Publicación