Enlarging the REDUCE domain of computation.

Russell J. Bradford, Anthony C. Hearn, Julian A. Padget, Eberhard Schrfer

Browse the full ISSAC paper archive.