1. An introduction to Gröbner bases;Adams,1994
2. Gröbner bases—A computational approach to commutative algebra;Becker,1993
3. Rule based expert systems: The MYCIN experiments of the Stanford Heuristic Programming Project,1984
4. Buchberger, B. (1965). An algorithm for finding a basis for the residue class ring of a zero-dimensional polynomial ideal (in German). PhD Thesis. Innsbruck: Mathematical Institute, University of Innsbruck.
5. CoCoA user's manual v. 3.0b;Capani,1996