Marker, D.; Macintyre, A. A failure of quantifier elimination. Rev. mat. complut. 1997, 10, 209. https://doi.org/10.5209/rev_REMA.1997.v10.17364.