DB2 Advisor: An Optimizer Smart Enough to Recommend Its Own Indexes. - Gary Valentin; Michael Zuliani; Daniel C. Zilio; Guy M. Lohman; Alan Skelley (ICDE, 2000)

A Third-Order Bounded Arithmetic Theory for PSPACE. - Alan Skelley (CSL, 2004)

Propositional PSPACE Reasoning with Boolean Programs Versus Quantified Boolean Formulas. - Alan Skelley (ICALP, 2004)

Theories and proof systems for PSPACE and the EXP-time hierarchy. - Alan Skelley (2006)

NP search problems in low fragments of bounded arithmetic. - Jan Krajícek; Alan Skelley; Neil Thapen (J. Symb. Log., 2007)

Third-Order Computation and Bounded Arithmetic. - Alan Skelley (J. Log. Comput., 2007)