A failure of quantifier elimination - Marker, David; Macintyre, Angus (Revista Matemática Complutense, 1997)
Sin resumen