ISSAC ʹ93 : Proceedings of the 1993 International Symposium on Symbolic and Algebraic Computation, July 6-8, 1993 Kiev, Ukraine - Bronstein, Manuel (ACM Press, 1993)