Detecting perfect powers by factoring into coprimes. - Daniel J. Bernstein; Hendrik W. Lenstra Jr.; Jonathan Pila (Math. Comput., 2007)

Modular Ax-Lindemann-Weierstrass with Derivatives. - Jonathan Pila (Notre Dame J. Formal Log., 2013)