Design and implementation of symbolic computation systems International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996 : proceedings / - Calmet, Jacques.; Limongelli, Carla. (Lecture notes in computer science ,)