D. Marker y A. Macintyre, «A failure of quantifier elimination», Rev. mat. complut., vol. 10, p. 209, ene. 1997, doi: https://doi.org/10.5209/rev_REMA.1997.v10.17364