"Classifying the phase transition threshold for Ackermannian functions."

Eran Omri, Andreas Weiermann (2009)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics