You are about to access our book library "Design and Implementation of Symbolic Computation Systems: International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993. Proceedings (Lecture Notes in Computer Science, 722) full version"
.