On Overspill Principles and Axiom Schemes for Bounded Formulas | Publicación