You are about to access our book library "Design and Implementation of Symbolic Computation Systems: International Symposium DISCO '90, Capri, Italy, April 10-12, 1990. Proceedings (Lecture Notes in Computer Science, 429) full version" .