A normal form for restricted exponential functions Pierpaolo Degano; Patrizia Gianni — 1989 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications