Proceedings of the International Conference on Symbolic and Algebraic Computation (ISSAC`94) 1994, Oxford, United Kingdom

(1994)