You are about to access our book library "Design and Implementation of Symbolic Computation Systems: International Symposium, DISCO '92, Bath, U.K., April 13-15, 1992. Proceedings (Lecture Notes in Computer Science, 721) full version" .