On the decidability of the real field with a generic power function.

Gareth Jones Tamara Servi On the decidability of the real field with a generic power function. 1418-1428 2011 76 J. Symb. Log. 4 http://projecteuclid.org/euclid.jsl/1318338857 db/journals/jsyml/jsyml76.html#JonesS11