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