Marker D, Macintyre A. A failure of quantifier elimination. Rev. mat. complut. [Internet]. 1 de enero de 1997 [citado 20 de abril de 2024];10:209. Disponible en: https://doi.org/10.5209/rev_REMA.1997.v10.17364