A note on the decidability of exponential terms. - Paola D'Aquino; Giuseppina Terzo (Math. Log. Q., 2007)