On Fragments of Analysis with Strengths of Finitely Iterated Inductive Definitions door Klaus Aehlig