Lev Gordeev, Andreas Weiermann. Phase transitions in Proof Theory.
21st International Meeting on Probabilistic, Combinatorial, and Asymptotic Methods in the Analysis of Algorithms (AofA'10), 2010, Vienna, Austria. pp.343-358,
⟨10.46298/dmtcs.2771⟩.
⟨hal-01185569⟩