A new REDUCE model for algebraic simplification.

Anthony C. Hearn

Browse the full ISSAC paper archive.