REDUCE
Reduce is a Lisp-based general purpose system
Email: reduce@rand.org Contact: Anthony C. Hearn hearn@rand.ORG