The proof-theoretic analysis of transfinitely iterated fixed point theories, The Journal of Symbolic Logic 64 (1999)

by G Jäger, R Kahle, A Setzer, T Strahm