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