Oitavem I. (1997). New recursive characterizations of the elementary functions and the functions computable in polynomial space. Revista Matemática Complutense, 10(1), 109. https://doi.org/10.5209/rev_REMA.1997.v10.n1.17500