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