Marker D. y Macintyre A. (1997). A failure of quantifier elimination. Revista Matemática Complutense, 10, 209. https://doi.org/10.5209/rev_REMA.1997.v10.17364