The quantifier complexity of polynomial-size iterated definitions in first-order logic. - Samuel R. Buss; Alan S. Johnson (Math. Log. Q., 2010)

Propositional proofs and reductions between NP search problems. - Samuel R. Buss; Alan S. Johnson (Ann. Pure Appl. Log., 2012)