1. Heintz, J.: Definability Bounds of First Order Theories of Algebraically Closed Fields (Abstract). Proc. Fundamentals of Computation Theory FCT'79 (1979), p. 160–166.
2. ": " (1977) (unpublished).
3. ": Towards a Decision Procedure for Prime Ideals in Polynomial Rings. Report on the 1979 Oberwolfach Conference on Complexity Theory, (1979).
4. ", Schnorr, C.P.: Testing Polynomials which are Easy to Compute. 12 th Annual Symp. ACM on Computing, (1980), p. 262–272.
5. ", Wüthrich, R.: An Efficient Quantifier Elimination Algorithm for Algebraically Closed Fields of Any Characteristic. SIGSAM Bull. Vol. 9, No 4, (1975), p. 11.