1. Bayer D.A. The division algorithm and the Hilbert scheme. Ph.d. Thesis Harvard 1982.
2. Ben-Or M.,Kozen D.,Reif J. The complexity of Elementary Algebra and Geometry. J.of Computation and System Science 32 p.109–138 (1986).
3. Blum L. Differentially closed fields: a model theoretic tour. in Contribution to Algebra p.37–60 Academic Press 1977.
4. Buchberger B. A critical pair completion algorithm for finitely generated ideals in rings. Proc. logic and Machines: Decision problems and Complexity, Springer LNCS 171 p.137–161 (1983).
5. Buchberger B.,Loos J. Algebraic Simplification in Computer Algebra p.11–43 Springer 1982.