MARKER, D.; MACINTYRE, A. A failure of quantifier elimination. Revista Matemática Complutense, v. 10, p. 209, 1 ene.1997 https://doi.org/10.5209/rev_REMA.1997.v10.17364.