1. Buchberger, B., and Loos, R., Algebraic Simplification, Computer Algebra, Symbolic and Algebraic Computation, Buchberger, Collins and Loos, ed., Springer-Verlag, New York, 1983, pp. 11–43.
2. Cowan, R.M. and Griss, M.L., Hashing — The Key to Rapid Pattern Matching, Symbolic and Algebraic Computation, Eurosam '79, An International Symposium on Symbolic and Algebraic Manipulation, EUROSAM, New York, 1979, pp. 266-278.
3. Fateman, R. J., MACSYMA's General Simplifier: Philosophy and Operation, Proceedings of the 1979 MACSYMA User's Conference, MIT Laboratory for Computer Science, 545 Technology Square, Cambridge, MA, 1979, pp. 563–582.
4. Tech. Rep.;R.J. Fateman,1972
5. Tech. Rep.;L. F. Charles,1980