1. Seidenberg, A.: An elimination theory for differential algebra. Univ. California Publ. Math (N.S.) 3, 31–66 (1956)
2. Robinson, A.: Complete theories. North-Holland, Amsterdam (1956)
3. Robinson, A.: Relative model-completeness and the elimination of quantifiers. In: Kreisler, H.J., Körner, S., Luxemburg, W.A., Young, A.D. (eds.) Abraham Robinson. Selected Papers, vol. 1, pp. 146–159. Yale University Press, New Haven (1979);
4. Originally in Dialectica 12, pp. 394–407 (1958);
5. Robinson, A.: On the concept of a differentially closed field. In: Kreisler, H.J., Körner, S., Luxemburg, W.A., Young, A.D. (eds.) Abraham Robinson. Selected Papers, vol. 1, pp. 440–455. Yale University Press, New Haven (1979);