"A comparison of well-known ordinal notation systems for epsilon0."

Gyesik Lee (2007)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics