A normal form for restricted exponential functions Pierpaolo Degano and Patrizia Gianni RAIRO-Theor. Inf. Appl., 23 2 (1989) 217-231 Published online: 01 February 2017 DOI: 10.1051/ita/1989230202171