Jacques Calmet

Design and Implementation of Symbolic Computation Systems: International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996. Proceedings (Lecture Notes in Computer Science, 1128)