Marker, David, y Angus Macintyre. «A Failure of Quantifier Elimination». Revista Matemática Complutense 10 (enero 1, 1997): 209. https://doi.org/10.5209/rev_REMA.1997.v10.17364.