Symbolic and algebraic computation : International Symposium ISSAC '88, Rome, Italy, July 4-8, 1988 : proceedings / - Gianni, P. (Springer-Verlag,, 1989)