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