You are about to access our book library "Symbolic and Algebraic Computation: International Symposium ISSAC' 88, Rome, Italy, July 4-8, 1988. Proceedings (Lecture Notes in Computer Science, 358) full version" .