article · 2003On complexity reduction of Σ 1 formulas1 citationsDOI: https://doi.org/10.1007/s001530200145