Author: International Symposium on Symbolic and Algebraic Computation (1989 Portland, Or.)