Proceedings of the International Symposium on Symbolic and Algebraic Computation : ISSAC. (ACM Press, 1990)