Sachio Hirokawa The proofs of alpha -> alpha in P-W. 195-211 1996 61 J. Symb. Log. 1 db/journals/jsyml/jsyml61.html#Hirokawa96