Deciding polynomial-exponential problems. - Melanie Achatz; Scott McCallum; Volker Weispfenning (ISSAC, 2008)