1. Buchberger, B.: Ein Algorithmus Zum Auffinden der Basiselement des Restklassentinges nach einem nulldimensionalen Polynomial. Ph.d. thesis, Univesitat Innsbruck, Austria (1965)
2. Buchberger, B.: Groebner bases: An algorithmic method in polynomial ideal theory. In: Bose, N.K., (ed.) Multidimensional Systems Theory, pp. 184–232, Reidel, Dorderecht (1985)
3. Wu, W.T.: Basic Principle of Mechanical Theorem Proving in Geometries. Science Press, Beijing (1984). English translation, Springer, Wien, 1994
4. Aubry, P., Lazard, D., Maza, M.M.: On the theories of triangular sets. J. Symb. Comput. 28, 105–124 (1999)
5. Szanto, A.: Computation with polynomial systems, Doctoral dissertation, Cornell University (1999)