Charalampos Cornaros Costas Dimitracopoulos A Note on Exponentiation. 64-71 1993 58 J. Symb. Log. 1 db/journals/jsyml/jsyml58.html#CornarosD93