Algebraic methods and bounded formulas
expressive power of bounded formulas in second-order arithmetic
scientific article; zbMATH DE number 1109537