@article{AMLG_1982__22_137999, author = {Ulf R. Schmerl}, title = {A proof theoretical fine structure in systems of ramified analysis.}, journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung}, pages = {167--186}, publisher = {mathdoc}, volume = {22}, year = {1982}, zbl = {0506.03016}, url = {http://geodesic.mathdoc.fr/item/AMLG_1982__22_137999/} }