Harold Simmons A comparison of two systems of ordinal notations. 65-84 2004 43 Arch. Math. Log. 1 http://dx.doi.org/10.1007/s00153-003-0177-z db/journals/aml/aml43.html#Simmons04