Abraham Robinson's Meta-Algebra Revisited. - Alejandro Margarit; Luis M. Laita (Math. Log. Q., 1987)

A formal model for knowledge-based systems verification. - Luis M. Laita; Julia Couto 001; Luis de Ledesma; Alejandro Fernández-Margarit (Int. J. Intell. Syst., 1994)

Maximum Schemes in Arithmetic. - Mario J. Pérez-Jiménez; Alejandro Fernández-Margarit (Math. Log. Q., 1994)

On Overspill Principles and Axiom Schemes for Bounded Formulas. - Joaquín Borrego-Díaz; Alejandro Fernández-Margarit; Mario J. Pérez-Jiménez (Math. Log. Q., 1996)

Some Results on L-Delta-- n+1. - Alejandro Fernández-Margarit; Francisco Félix Lara Martín (Math. Log. Q., 2001)

Provably Total Primitive Recursive Functions: Theories with Induction. - Andrés Cordón-Franco; Alejandro Fernández-Margarit; Francisco Félix Lara Martín (CSL, 2004)

On the quantifier complexity of bigtriangleupn+1 (T)? induction. - Andrés Cordón-Franco; Alejandro Fernández-Margarit; Francisco Félix Lara Martín (Arch. Math. Log., 2004)

Induction, minimization and collection for Deltan+1(T)-formulas. - Alejandro Fernández-Margarit; Francisco Félix Lara Martín (Arch. Math. Log., 2004)

Fragments of Arithmetic and true sentences. - Andrés Cordón-Franco; Alejandro Fernández-Margarit; Francisco Félix Lara Martín (Math. Log. Q., 2005)

Envelopes, indicators and conservativeness. - Andrés Cordón-Franco; Alejandro Fernández-Margarit; Francisco Félix Lara Martín (Math. Log. Q., 2006)

On Rules and Parameter Free Systems in Bounded Arithmetic. - Andrés Cordón-Franco; Alejandro Fernández-Margarit; Francisco Félix Lara Martín (CiE, 2007)

Existentially Closed Models and Conservation Results in Bounded Arithmetic. - Andrés Cordón-Franco; Alejandro Fernández-Margarit; Francisco Félix Lara Martín (J. Log. Comput., 2009)

A note on parameter free Π1-induction and restricted exponentiation. - Andrés Cordón-Franco; Alejandro Fernández-Margarit; Francisco Félix Lara Martín (Math. Log. Q., 2011)

On the optimality of conservation results for local reflection in arithmetic. - Andrés Cordón-Franco; Alejandro Fernández-Margarit; Francisco Félix Lara Martín (J. Symb. Log., 2013)

On axiom schemes for T-provably Δ1 formulas. - Andrés Cordón-Franco; Alejandro Fernández-Margarit; Francisco Félix Lara Martín (Arch. Math. Log., 2014)