Title: On the decidability of Presburger arithmetic with homogeneous exponentiation
First published: 1989