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