Marker, David y Angus Macintyre. «A failure of quantifier elimination». Revista Matemática Complutense, vol. 10, vol. 10, 1997, p. 209, doi: https://doi.org/10.5209/rev_REMA.1997.v10.17364.