Zofia Adamowicz Pawel Zbierski On complexity reduction of Sigma<sub>1</sub> formulas. 45-58 2003 42 Arch. Math. Log. 1 http://dx.doi.org/10.1007/s001530200145 db/journals/aml/aml42.html#AdamowiczZ03