A normal form for restricted exponential functionsPierpaolo Degano and Patrizia GianniRAIRO-Theor. Inf. Appl., 23 2 (1989) 217-231DOI: https://doi.org/10.1051/ita/1989230202171